PYREFLY

Summary from the TLDR Dev newsletter

Pyrefly is a fast Python type checker and language server designed to speed up IDE features like autocomplete and instant error feedback. It is fast, type checking over 1.85 million lines of code per second, and performs comparably to Pyright and MyPy.