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