Pyrefly: A Fast Python Type Checker and Language Server | Pyrefly
pyrefly.org