Mypy — это разрабатываемый открыто анализатор типов для Питона с поддержкой PEP 484.
На заметку
Зарегистрированные пользователи могут получать еженедельный дайджест обновлений на сайте.