Тут Quora только-только зарелизила pyanalyze — ещё один статический анализатор кода (читай “альтернатива mypy”). Штука довольно умная и конфигурируемая. В отличие от mypy, умеет ходить в сторонние библиотеки и выводить типы оттуда, а также может чинить какие-то простые ошибки. Type inference хороший, да. Правда, некоторые модные фичи питоновской системы типов не поддерживает, но, вроде, особо не должен из-за этого падать. В общем, рекомендую. Добавлю на CI параллельно MyPy и посмотрю, как работает.