mypy

Определение

Статический типизатор для Python, проверяющий типы на этапе разработки для повышения качества кода.