MonkeyType

A static type checker that aims to combine the benefits of duck typing and static typing, frequently used with MonkeyType.