I absolutely feel comfortable vouching for Pyright! Last I used it, it was miles ahead of mypy in terms of speed, easy-of-use (it's an LSP!), correctness (simp

I absolutely feel comfortable vouching for Pyright! Last I used it, it was miles ahead of mypy in terms of speed, easy-of-use (it's an LSP!), correctness (simply has less bugs), and feature completeness (has implemented every new static typing feature that I've wanted to use months ahead of mypy). The maintainer was also super-responsive on Github: replied to my issues in hours/minutes, and often released minor versions with bugfixes one or two days after issues are reported.