PyFence: верификация типов для Python

Утилита-библиотека, которая позволяет следить за соответствием типов во время отладки вашего проекта