Mypy

Mypy is a static type checker for Python.