pyrefly
15x faster than Mypy/Pyright, production-proven on Instagram's 20M-line codebase, with full IDE features.
A fast type checker and language server for Python, proven on Instagram's 20-million-line codebase. 15x faster than Mypy and Pyright, with seamless IDE integration and zero-config framework support.