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