Mypy — это разрабатываемый открыто анализатор типов для Питона с поддержкой PEP 484.
На заметку
У нас есть новостная группа в Telegram. Там же можно обсудить интересующие вопросы. Ссылка в самом низу страницы.