2 ms·

Mypy and Pyre appear to be the only two that work really well and can solve type-checking issues at scale.