It's not just a linter that annoys you!
Static code analysis
An extensible multilanguage static code analyzer
Static type checker for Python
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.