With everyone being so focused on Ty and Pyrefly right now, I'd like to put a lesser known type checker in the spotlight for a second, called Zuban.
I know, yet another Python type checker, just what the Python ecosystem needs! But hear me out, this one is genuinely exciting to me.
It's made by a long time Python ecosystem contributor, who you might know for creating Jedi.
Of course, it has all the goodies you'd want these days, which is a good CLI, an LSP, being written in Rust for performance, etc.
But it also aims for Mypy compatibility with zmypy, making it a great potential option for existing projects using Mypy that just want something faster.
I reported a couple of issues which got fixed in a span of hours too!
I'd say give it a go, don't expect perfect results, but report issues if you find them 
GitHub - davidhalter/jedi: Awesome autocompletion, static analysis and refactoring library for python
Awesome autocompletion, static analysis and refactoring library for python - davidhalter/jediGitHub
