Skip to content
Stork.AIstork.ai
AI Tool

Pyrefly Review

Pyrefly is a fast type checker and language server for Python with powerful IDE features that analyzes Python code to catch type-related errors before runtime.

shipped Apr 2, 2026updated May 27, 2026aifreemium
ai
Pyrefly - AI tool for pyrefly. Professional illustration showing core functionality and features.

Why it matters

1Developed by Meta and written in Rust, Pyrefly offers 18x faster updated diagnostics (under 200ms) and 2-3x faster initial indexing.
2It reduces memory usage by 40-60% based on tests with the PyTorch repository on a MacBook Pro.
3Pyrefly was adopted by PyTorch, type-checking their core repository in 5.5 seconds compared to MyPy's 50.6 seconds.
4Battle-tested internally at Meta, Pyrefly handles Instagram's codebase, which exceeds 20 million lines of Python.

Stork’s verdict on Pyrefly

Pyrefly offers fast static type checking for large Python projects, but its alpha announcement in May 2025 means it's still unreleased.

Pyrefly reviewed by Stork AI · stork.ai/en/pyrefly

Specs

API Docs

View Documentation →

GitHub

View Repository →

API Available

Yes, public API

overview

What is Pyrefly?

Pyrefly is a static type checker and language server tool developed by Meta that enables Python developers to catch type-related errors before runtime. It provides powerful IDE features such as code navigation, autocomplete, and refactoring for reliable, maintainable Python code. Pyrefly functions as both a static type checker and a language server for Python, with its primary purpose being to analyze Python code for type consistency. Written in Rust, it aims to provide high-performance static analysis and rich IDE features to enhance developer productivity and code quality. The tool is open-source and has seen rapid development since its alpha announcement in May 2025.

features

Key Features of Pyrefly

Pyrefly integrates a high-performance type checker with a robust language server, offering a comprehensive suite of features designed to enhance Python development workflows.

  • Fast static type checking for Python codebases, even on large projects.
  • Language Server Protocol (LSP) implementation for broad IDE compatibility.
  • Advanced code navigation capabilities, including go-to-definition.
  • Semantic highlighting for improved code readability.
  • IntelliSense-style code completion for Python.
  • Hover documentation for quick access to function and variable information.
  • Real-time diagnostics, providing inline type error reporting.
  • Advanced refactoring capabilities, such as automatic import refactoring.
  • Support for Jupyter Notebook diagnostics and language features.
  • Bundled Typeshed third-party stubs and expanded library support (since v0.46.0).
  • Experimental Pydantic integration for static validation of Pydantic code (since December 2025).

use cases

Who Should Use Pyrefly?

Pyrefly is designed for Python developers and teams seeking to improve code quality, maintainability, and developer experience through advanced static analysis and IDE integration.

  • Python developers aiming to catch type-related errors early during development, preventing runtime bugs.
  • Teams collaborating on large-scale Python projects that require improved code quality, readability, and safer refactoring through comprehensive type annotations.
  • Developers working on massive production codebases, such as Instagram's 20 million lines of code, where performance and reliability are critical.
  • Users of popular IDEs and editors like VSCode, Neovim, and Zed who desire an enhanced developer experience with features like code navigation, autocomplete, and real-time diagnostics.
  • Organizations like PyTorch that require faster, more consistent type checking across core repositories and related projects to uncover and resolve bugs efficiently.

pricing

Pyrefly Pricing & Plans

Pyrefly operates on a freemium model, with its core type checker and language server functionality available as open-source software. There are no publicly detailed paid tiers or subscription plans for advanced features or enterprise support as of the latest information.

  • Free: Core Pyrefly type checker and language server functionality, available as open-source software.

Similar Tools

Pyrefly vs Competitors

Pyrefly competes in the Python static analysis and developer tooling landscape, differentiating itself through its Rust-based performance and integrated language server capabilities.

1
MyPyOn StorkCompare

MyPy is the foundational and most widely adopted static type checker for Python, setting the standard for type hint enforcement.

MyPy focuses purely on static type checking, providing robust error detection for type-related issues. Pyrefly combines type checking with language server features for a more integrated IDE experience, and both are open-source and free.

2
Pylance↗

Developed by Microsoft, Pylance provides rich language server features and fast, accurate type checking specifically for VS Code users.

Pylance is tightly integrated with VS Code, offering a comprehensive language server experience including type checking. Pyrefly aims to be a fast, standalone language server and type checker for Python, potentially with broader IDE compatibility, and both are free.

3
PyrightOn StorkCompare

Pyright is Microsoft's fast, standards-compliant static type checker for large Python codebases, serving as the core type-checking engine for Pylance.

Pyright is a dedicated type checker, known for its speed and strictness, and it powers Pylance's type checking. Pyrefly integrates type checking within a broader language server context, aiming for a fast, comprehensive IDE experience, and both are free.

4
RuffOn StorkCompare

Ruff is an extremely fast Python linter and formatter written in Rust, designed to replace many existing tools with a single, high-performance solution.

Ruff primarily focuses on linting and formatting, with capabilities to identify code quality issues that can indirectly relate to type problems. Pyrefly is specifically a type checker and language server, directly targeting type-related errors and powerful IDE features, and both are free and open-source.

5
SourceryOn StorkCompare

Sourcery is an AI-powered coding assistant that provides real-time refactoring suggestions and identifies code quality issues to improve Python code.

Sourcery uses AI to suggest code improvements and identify potential issues, which can include type-related problems indirectly through code quality. Pyrefly is a dedicated type checker and language server, focusing directly on catching type errors before runtime with powerful IDE features. Both Sourcery and Pyrefly offer a freemium model.

Visit Pyrefly↗
Connect
⌘
GitHubgithub.com/facebook/pyrefly
💬
Discorddiscord.gg/Cf7mFQtW7W

AI Reputation Report

Is Pyrefly yours?

ChatGPT, Perplexity, Gemini, Claude & Grok answer buyer questions about Pyrefly every day. See whether they name Pyrefly — or send buyers to a rival.

See what AI saysfree preview

Featured in articles