mypy
на сайте с 07 апреля 2023, 22:06
Mypy: Static Typing for Python.