PYREFLY

Summary from the TLDR newsletter

Pyrefly is a type checker and language server for Python that provides lightning-fast type checking and IDE features. It can infer types in most locations and understand a program's control flow to refine static types. Pyrefly aims for large-scale incrementality at the module level. It is under active development with known issues.