auto-refactor
The Python refactorizer: linter, formatter and verified refactoring with independent pure-Python and Rust engines.
The Python functionizer: turn scripts, snippets and Jupyter notebooks into verified functions and modular packages.