pyrefly
About pyrefly
Pyrefly is a type checker and language server for Python designed to provide fast type checking and IDE features. It supports code navigation, semantic highlighting, and code completion, available both as a command-line tool and as extensions for various IDEs and editors.
Pyrefly is used at scale in production environments, including Meta's Instagram codebase and large open source projects like PyTorch and JAX. It offers tools for migrating from other type checkers, suppressing errors, and generating type annotations, making it suitable for gradual adoption.
Key features
- Fast type checking with performance benchmarks provided
- Production-proven at scale with large codebases
- Full-featured language server with IDE integration
- Support for Python frameworks like Pydantic, Django, and pytest
- Migration tools for Mypy and Pyright users
- Error suppression and type annotation generation
Download 1.1.1
Jul 11, 2026WindowsWindows
Frequently asked questions
- Is pyrefly free?
- Yes. pyrefly is free and open-source software, distributed under the MIT license.
- Which platforms does pyrefly support?
- pyrefly provides downloads for Windows, macOS, Linux.
- What is the latest version of pyrefly?
- The latest version is 1.1.1, released on Jun 18, 2026.
- What is Pyrefly?
- Pyrefly is a type checker and language server for Python that provides fast type checking and IDE features like code navigation and completion.
- How can I install Pyrefly?
- Pyrefly can be installed as a command-line tool via pip or as an extension for IDEs like VSCode, Neovim, and Zed.
- What platforms does Pyrefly support?
- Pyrefly is available as a command-line tool and supports integration with various IDEs and editors, including VSCode, Neovim, and Zed.
- What is the license for Pyrefly?
- Pyrefly is licensed under the MIT license.
More Developer Tools
PowerToys
microsoft
PowerToys is a set of utilities for enhancing productivity and customization on Windows systems. It includes various tools for developers and power users to streamline workflows.
Windows Terminal
microsoft
Windows Terminal combines the classic Windows console with a modern terminal application in one package. It provides developers with a unified interface for command-line tools and shells. The software supports multiple tabs, rich text, and customization options.
Neovim
neovim
Neovim is a fork of Vim focused on improved extensibility and usability. It maintains compatibility with Vim while offering modern features like embedded terminal support and a built-in LSP client. The project emphasizes maintainability and encourages community contributions.