Mypy - это дополнительная программа проверки статического типа для Python. Подсказки типов, соответствующие PEP484, могут быть добавлены в программы Python с использованием встроенных в Python аннотаций типов (начиная с Python 3) или синтаксиса аннотаций на основе комментариев для Python 2.