Pyre

https://pyre-check.org/

Python 3 Type Check Framework