Pyrefly
- Pyrefly
Pyrefly: A Fast Static Type Checker for Python Projects
Pyrefly checks Python types without executing code and also offers type-hint generation and type coverage measurement. The excerpt introduces its CLI workflow, while noting important context about coverage features in Pyright and mypy.