MyPy is a static type checker for Python.