Not exactly what you are looking for but maybe useful to others.
https://github.com/microsoft/pyright/blob/main/docs/mypy-com...
we've written a little bit about what pytype does differently here: https://google.github.io/pytype/
our main focus is to be able to work with unannotated and partially-annotated code, and treat it on par with fully annotated code.
They all seem to have slightly different approaches and features, but it's hard to decide which is best for the job.