Nice, I'm using basedpyright right now, both as a type checker in my IDE as well as in GitHub actions. It's good and mainly does what I want.

I'm not very fond of mypy as it struggles even with simple typing at times.