mypy
Mypy is an experimental optional static type checker for Python that aims to combine the benefits of dynamic (or “duck”) typing and static typing.
4 Alternatives To mypy
PyFlakes
A simple program which checks Python source files for errors.
PyLint
Pylint is a Python source code analyzer which looks for programming errors.
SideCI
SideCI is static code analysis Continous Integration service. Driven by GitHub Pull Requests, Analyze And Comment Violation Automatically. Supports Ruby, PHP, and JavaScript.
codebeat
Automated code review for Swift