самой известной программой проверки типов Python была mypy. Проект mypy возглавляет Гвидо ван Россум — тот самый человек, который создал сам Python.