Thank you for checking out Pyrefly!

Pyrefly is currently in beta. The IDE extension is ready for production use today, while the core type-checking features are robust, with some edge cases that will be addressed as we make progress towards a V1 release in early 2026.

Here’s a sneak peek of what you can expect from Pyrefly V1:

• Support for advanced typing features like exhaustiveness checks and recursive type aliases.
• More LSP features like refactoring and quality-of-life improvements to responsiveness and memory usage.
• Expanded third-party library support, with bug fixes and new features on the way for our experimental integrations with popular libraries like Django and Pydantic.
• …and more! Check out the milestone for the full list.