pyrefly

Open source alternative to PyCharm Professional and SonarCloud

7.2K stars
MIT
Active this week
Last commit 2 days ago

Last verified Nov 14, 2026

Analyze Python codebases for type errors at blazing speed with a built-in language server for IDE integration.

Visit website GitHub7.2K

Read the full breakdownWho it is for, how it works, trade-offs, the quick start and the FAQ

who it's for

Who pyrefly is for#

Team migrating from Mypy

Migrates a large Python project from Mypy by running `pyrefly init` to port configuration, then `pyrefly suppress` to silence legacy errors and enforce types on new code only.

Developer wanting fast editor feedback

Installs the Pyrefly VSCode extension to get sub-10ms type-check feedback in the editor instead of waiting for a full Mypy run.

Data science team with Pydantic pipelines

Adds Pyrefly to CI to catch type errors in a Pydantic-heavy data pipeline before they reach production.

Library author releasing to PyPI

Uses Pyrefly to verify type annotations are complete and correct before publishing a new release to PyPI.

Django developer

Gets autocomplete and type errors on model fields directly in their editor using Pyrefly's built-in Django support.

the problem

The problem it solves#

Python type checking with Mypy or Pyright becomes painfully slow on large codebases: a full check of a project like PyTorch can take minutes, breaking the development feedback loop. Language servers with separate type checker and IDE backends produce inconsistent results between the CLI and the editor. Teams adopting type checking incrementally get blocked by the difficulty of migrating existing untyped code without triggering thousands of new errors in code they are not currently working on.

how pyrefly solves it

How it solves it#

1.85M lines/second, 15x faster than Mypy

Checks 1.85 million lines of code per second, 15x faster than Mypy on projects like PyTorch

Sub-10ms IDE recheck on save

IDE rechecks typically complete in under 10ms after saving a file, keeping the feedback loop tight

Full language server for VSCode, Neovim, Zed

Full language server: code navigation, autocomplete, hover information, inlay hints, and semantic highlighting in VSCode, Neovim, Zed, and more

Incremental migration from Mypy/Pyright

`pyrefly init` migrates existing projects from Mypy or Pyright; `pyrefly suppress` silences pre-existing errors for incremental adoption

Built-in Pydantic and Django support

Built-in support for Pydantic and Django with framework-aware model validation and field-type autocomplete

Production-proven at Meta scale

Production-proven at Meta across Instagram (20 million lines) and adopted by PyTorch and JAX

strengths · trade-offs

Strengths and trade-offs#

Strengths

One engine for CLI and language serverThe same type-checking engine powers both the CLI and the language server, so results are consistent between your editor and CI with no divergence
Incremental adoption via suppressIncremental adoption path via `pyrefly suppress` means you can start typing one file at a time without drowning in legacy errors
Meta-scale production validationProduction scale validation at Meta provides confidence it handles real-world Python patterns at a scale most type checkers have not been tested against
Stable 1.0.0 release with MIT licenseStable 1.0.0 release with MIT license and monthly minor releases

Trade-offs

-Monthly releases may add new type errorsMonthly minor versions may introduce new type errors on upgrade, requiring attention; Pyrefly does not follow strict semantic versioning
-Third-party plugin ecosystem less mature than MypyPydantic and Django framework support is built in, but third-party framework plugins are less mature than the Mypy plugin ecosystem
-Roadmap driven by Meta's internal needsPrimarily developed by Meta; the project roadmap is driven by Meta's internal needs, so community feature requests compete with internal priorities

versus alternatives

pyrefly vs alternatives#

pyrefly is an MIT-licensed Python type checker and language server that competes with proprietary IDE typing experiences such as Pylance in VS Code and PyCharm inspections.

vs Pylance: Pylance gives VS Code users a polished proprietary language server with Python analysis settings built into the Microsoft Python workflow. pyrefly is the better fit when you want the same checker available in CI, the terminal, VS Code, Neovim, Zed, and other editors, with one command-line tool and one set of diagnostics.

vs PyCharm: PyCharm is stronger when a team wants a full commercial Python IDE with inspections, navigation, refactoring, debugger, and JetBrains support in one product. pyrefly is narrower: it focuses on fast type checking, IDE diagnostics, language-server features, and migration from mypy or pyright with the pyrefly init command.

vs mypy or Pyright workflows: pyrefly is most compelling for large Python codebases that need faster checks and consistent CLI plus editor behavior. Existing mypy or Pyright setups may still be safer when plugin compatibility, long-established behavior, or exact diagnostic stability matters more than speed.

install · quick start

Quick start#

bash

pip install pyrefly

tech stack · detected from GitHub

What it's built on#

Languages: PythonRustTypeScript
Frameworks: React
Tooling: esbuild

frequently asked

FAQ#

How do I migrate from Mypy?

Run pyrefly init at your project root. It reads your mypy.ini or setup.cfg configuration and generates a Pyrefly config. Then run pyrefly suppress to add inline suppressions for existing errors so you start clean without touching legacy code.

Is the CLI type checker the same binary as the language server?

Yes. The language server and CLI share the same type-checking engine. You get consistent results whether you are running a check in CI or getting hover information in your editor.

Does Pyrefly support Python 2?

No. Pyrefly targets Python 3 and the modern type annotation syntax introduced in PEP 484 and subsequent PEPs. Python 2 is not supported.

also worth a look

Similar open-source tools#

repowise

Alternative toCodeScene

Codebase intelligence: MCP tools for agents, health scores for teams.

8,132 GitHub stars
Licence AGPL-3.0

Modern Web Guidance Src

InDeveloper Tools

Modern web platform skills for AI coding agents

6,087 GitHub stars
Licence Apache-2.0

Docmd

Alternative toMintlify

Markdown to website, search, and AI context files in one command.

2,565 GitHub stars
Licence MIT

Paradev

Alternative toConductor

Open-source macOS workspace for parallel CLI coding agents

16,295 GitHub stars
Licence MIT

Hallmark

InDesign & Creative

Design skill for coding agents with 48 themes, real photos and lint.

55,156 GitHub stars
Licence MIT

CodeBoarding

Alternative toCodeDashboard

Review code changes as architecture maps, not line diffs

2,680 GitHub stars
Licence MIT

by category

Open source tools in these categories#

650

Inbox Zero

Alternative toSuperhuman

AI email assistant that drafts replies and clears your inbox

13,025 GitHub stars
Licence AGPL-3.0
#Email

rakazo

Alternative toGrok Bot

AI teammates you own: your keys, your model, your machine.

8,291 GitHub stars
Licence Apache-2.0
#AI Agents

SnitchFeed

Live monitoring on LinkedIn, X, Reddit & more. Agentic social listening for startups.

Marketing & Growth

Advertise your product

The projects we add and every new guide. Free, unsubscribe any time.

Find open source alternatives to paid software

Who pyrefly is for#