Currently under active development with known issues. Please open an issue if you find bugs. Pyrefly is a fast type checker for Python. It's designed to replace the existing Pyre type checker at Meta ...

Our goal is to combine language models with specialized tools for tasks like web search, crawling, and Python code execution, while giving back to the community that made this possible. Currently, ...