It's not just a linter that annoys you!
Static code analysis
Static type checker for Python
An extensible multilanguage static code analyzer
Please go to the GitHub page for more information
Free SLOC counts physical lines of code (SLOC) for many languages
Kammerjäger is a debugging tool with integrated correctness proving.