Skip to main content
Pre-release

This release is a pre-release and may not be stable for production use.

Pyrefly: A fast type checker and language server for Python with powerful IDE features

pyrefly PyPI VS Code Open VSX Discord License: MIT

Pyrefly is a type checker and language server for Python, which provides lightning-fast type checking along with IDE features such as code navigation, semantic highlighting, and code completion. It is available as a command-line tool and an extension for popular IDEs and editors such as VSCode, Neovim, Zed, and more.

See the Pyrefly website for full documentation and how to add Pyrefly to your editor of choice.

Pyrefly's current development status is stable.

Key Features

  • Fast. Pyrefly checks over 1.85 million lines of code per second, type checking projects like PyTorch 15x faster than Mypy and Pyright. In the IDE, rechecks typically complete in under 10 milliseconds after saving a file.
  • Production-proven at scale. Pyrefly is the default type checker for Instagram's 20-million-line Python codebase at Meta, and has been adopted by large open source projects including PyTorch and JAX.
  • Full-featured language server. Code navigation, autocomplete, hover information, inlay hints, semantic highlighting, and more, with consistent results across the CLI and your editor of choice.
  • Understands real-world Python. Built-in support for frameworks and tools like Pydantic, Django, and pytest, with model validation, field types, fixture navigation, and autocomplete that work out of the box.
  • Adoption-ready. Migrate from Mypy or Pyright with pyrefly init, silence existing errors with pyrefly suppress, and generate type annotations with pyrefly infer. Start with one file and expand at your own pace.

Getting Started

Version Policy

Pyrefly releases new minor versions (1.x.0) monthly and patch versions in between as-needed for critical fixes. Pyrefly does not follow strict semantic versioning: minor versions contain more significant changes than patch versions, but any version may introduce new type errors and other breaking changes. The pyrefly suppress command can be used to easily silence errors when upgrading to a new version.

Getting Involved

If you have questions or would like to report a bug, please create an issue.

See our contributing guide and architecture overview for information on how to contribute to Pyrefly.

Join our Discord to chat about Pyrefly and types. This is also where we hold biweekly office hours.

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

pyrefly-1.2.0.dev3.tar.gz (6.2 MB view details)

Uploaded Source

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

pyrefly-1.2.0.dev3-py3-none-win_arm64.whl (13.3 MB view details)

Uploaded Python 3Windows ARM64

pyrefly-1.2.0.dev3-py3-none-win_amd64.whl (14.0 MB view details)

Uploaded Python 3Windows x86-64

pyrefly-1.2.0.dev3-py3-none-win32.whl (13.0 MB view details)

Uploaded Python 3Windows x86

pyrefly-1.2.0.dev3-py3-none-musllinux_1_2_x86_64.whl (14.3 MB view details)

Uploaded Python 3musllinux: musl 1.2+ x86-64

pyrefly-1.2.0.dev3-py3-none-musllinux_1_2_aarch64.whl (13.8 MB view details)

Uploaded Python 3musllinux: musl 1.2+ ARM64

pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (14.3 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ x86-64

pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (14.8 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ ppc64le

pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl (14.8 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ i686

pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (13.8 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ ARM64

pyrefly-1.2.0.dev3-py3-none-macosx_11_0_arm64.whl (13.4 MB view details)

Uploaded Python 3macOS 11.0+ ARM64

pyrefly-1.2.0.dev3-py3-none-macosx_10_12_x86_64.whl (13.9 MB view details)

Uploaded Python 3macOS 10.12+ x86-64

File details

Details for the file pyrefly-1.2.0.dev3.tar.gz.

File metadata

  • Download URL: pyrefly-1.2.0.dev3.tar.gz
  • Upload date:
  • Size: 6.2 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for pyrefly-1.2.0.dev3.tar.gz
Algorithm Hash digest
SHA256 e9bdeb0a1a547e1d165be71aa0853e968a05effccb61c67b42f22c270667165e
MD5 140068310e4483f30829ccc3f420917f
BLAKE2b-256 0bae78a02bb1fcb953a37565bd53d1f71014e8316dbc1e4e1bf37889423f72f1

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.2.0.dev3.tar.gz:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.2.0.dev3-py3-none-win_arm64.whl.

File metadata

  • Download URL: pyrefly-1.2.0.dev3-py3-none-win_arm64.whl
  • Upload date:
  • Size: 13.3 MB
  • Tags: Python 3, Windows ARM64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for pyrefly-1.2.0.dev3-py3-none-win_arm64.whl
Algorithm Hash digest
SHA256 a407c6a0c9374cf7a1bdb9e0769ce88fbbfb1ee1d88a056bebc7c7e1c6bbbdbc
MD5 962067bc10217019d5c643b9fabd93d1
BLAKE2b-256 ee27a52738bfb8e835fb325984e49c4d00362859b6a99b4c244164145b27010f

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.2.0.dev3-py3-none-win_arm64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.2.0.dev3-py3-none-win_amd64.whl.

File metadata

  • Download URL: pyrefly-1.2.0.dev3-py3-none-win_amd64.whl
  • Upload date:
  • Size: 14.0 MB
  • Tags: Python 3, Windows x86-64
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for pyrefly-1.2.0.dev3-py3-none-win_amd64.whl
Algorithm Hash digest
SHA256 de77594256092309a529a7d89a92ad0c4775f82bd4082235de792b96324216eb
MD5 e7fe1f1f88cccb5d0cf9e918afef4244
BLAKE2b-256 74d93f543aca87864d3e360a3205d6152d84849696c9be134883976e37d1c524

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.2.0.dev3-py3-none-win_amd64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.2.0.dev3-py3-none-win32.whl.

File metadata

  • Download URL: pyrefly-1.2.0.dev3-py3-none-win32.whl
  • Upload date:
  • Size: 13.0 MB
  • Tags: Python 3, Windows x86
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.13.7

File hashes

Hashes for pyrefly-1.2.0.dev3-py3-none-win32.whl
Algorithm Hash digest
SHA256 946b1c8d5d41139d5931ba16bbb567d02e2f8fe9d35a18c812f782e3cce0df1f
MD5 df12923afc2aa2774cab62ae9c7d7186
BLAKE2b-256 14760d8a77e9d2bcaa555a66df13c3ed14111e4180270cfd002282654e55c452

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.2.0.dev3-py3-none-win32.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.2.0.dev3-py3-none-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for pyrefly-1.2.0.dev3-py3-none-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 44a1c896e3206a57d0c60aac7b12c01e6c1d629d557ef2a541a48e079c5c3bf7
MD5 26c59d28af25772a21e496aa4543cd51
BLAKE2b-256 009152a1507687fa84a6b5fbb6af3c9158b522e90436b5cbbec499c6e6abc4c2

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.2.0.dev3-py3-none-musllinux_1_2_x86_64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.2.0.dev3-py3-none-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for pyrefly-1.2.0.dev3-py3-none-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 465ff2b1a49331ac2a07ae9a1efe8b7b351493333870ad30f111c8a0fb4e22ae
MD5 e4ef589df4057590ff38f4d114c07d80
BLAKE2b-256 32a16c0438993f8fa5ddb60076b3e52eb47cf83036d268a6da1b1aad3692258b

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.2.0.dev3-py3-none-musllinux_1_2_aarch64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 06d9434c5e475baa6db45c346f9bdcf30c89cb19facb97feb4d4ab311431f25b
MD5 711fa925e726c859ec2ec59eac1d087c
BLAKE2b-256 34ceffc6c589544ca1631c16af7d776ebd4010dd1968659b189d70ed7135e3d3

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 e9e220d60a9f115ce789321cdca11087484572cc3349a330a13e7ff3408995bb
MD5 4a35e29e96cf9ca16229f14feae3c3f0
BLAKE2b-256 0c0acfa2f8121b3a54d22d1441c52757d73257be466faf71c1eafb34dac48008

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 347a563e427f39f8b4e3b5ff997d7b3b4d9438f1917c0ba543394d08fbcb7bb5
MD5 7b8ce0ed779ac530b5c3a046076b6ad5
BLAKE2b-256 d881e21fbc80b28e0ac3203a7427fa197cd93339dcc0263cc1e9be8be3070eb1

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 35c4c4c9613f60d6f408bd33f142dabd519953f034ace4ec0fd8c4eda70a06dd
MD5 cc40c7aea1c7834ce5bdef07a32f16ae
BLAKE2b-256 1ab1999e1e4299534eeb2444b0cf18093b5a0cf3cb01244691f836443a0e9770

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.2.0.dev3-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.2.0.dev3-py3-none-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for pyrefly-1.2.0.dev3-py3-none-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 6d8910e5e56405680b071e0dce065fc2eb0fc111a042fca309982206cee21db6
MD5 1e42bc836fd2ed3bf8fda20bc40774c5
BLAKE2b-256 789025935e5da71a09f0ca8357a182494bed34efd7d60053b8bf7ec17dbeb1ac

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.2.0.dev3-py3-none-macosx_11_0_arm64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

File details

Details for the file pyrefly-1.2.0.dev3-py3-none-macosx_10_12_x86_64.whl.

File metadata

File hashes

Hashes for pyrefly-1.2.0.dev3-py3-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 fe9cf4922c3dbb2c694efa6683aa79b02f2a4f3a3f01252784a2d33b550b815d
MD5 0db35d8211a20316a7495fcdbbec03f9
BLAKE2b-256 96d371ea7545934a2633991ad2c551aac92de8afef4eb24a34a315bb64f71bcf

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.2.0.dev3-py3-none-macosx_10_12_x86_64.whl:

Publisher: publish_to_pypi.yml on facebook/pyrefly

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Release history Release notifications | RSS feed

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page