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