https://www.mypy-lang.org/ https://github.com/python/mypy/ https://pypi.org/project/mypy/
