Very good points about why elegance matters in code. It's definitely something I try to keep in mind in code reviews. One has to be careful not to use too obscure features of the language though. For instance, you're mostly fine in Python where what it considered idiomatic is somewhat well defined, you're much more in trouble in C++ which isn't as cohesive.
Looks like a very interesting tool, in particular for security purposes.
AST tooling is great for porting code and code quality checks. Here are a couple of examples in python.
The use of PyO3 keeps being very interesting for Rust / Python interoperability. The porting experiment in this article is well done and shows well the strength and weaknesses of both.
Sounds like an interesting tool for Python projects.
Interesting advices on how to package your python tools.
Interesting use of Rust to optimize an otherwise completely Python base code. This is properly done, first profiling the problematic system finding where the bottleneck is, evaluating other options first, then finally biting the bullet. Leads to a dramatic improvement by just replacing a few lines of Python. This is far from the "let's rewrite everything in Rust" which is a good thing.
Oh totally missed that Python 3.8 introduced protocols. Now that makes mypy very useful, I was slightly concerned at how strict interfaces tended to be with nominal types.
Looking forward to Python 3.10 in October which will finally get pattern matching!