если <условие1>, то pyanalyze
если <условие2>, то mypy
а если условие1 == условие2, то нужен 1 проект, а не два, то есть если они не могут поделить ниши между собой... иначе будет как с линуксами - каждая из ОС на базе линукс чем-то неполноценна и ни одна из них не может заменить macOS полноценно, а силы разработчиков "размазаны" на кучу проектов вместо того, чтобы сфокусироваться на 1 и довести его до ума
There should be one-- and preferably only one --obvious way to do it.