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.3.0.dev1.tar.gz (6.3 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.3.0.dev1-py3-none-win_arm64.whl (13.6 MB view details)

Uploaded Python 3Windows ARM64

pyrefly-1.3.0.dev1-py3-none-win_amd64.whl (14.3 MB view details)

Uploaded Python 3Windows x86-64

pyrefly-1.3.0.dev1-py3-none-win32.whl (13.4 MB view details)

Uploaded Python 3Windows x86

pyrefly-1.3.0.dev1-py3-none-musllinux_1_2_x86_64.whl (14.6 MB view details)

Uploaded Python 3musllinux: musl 1.2+ x86-64

pyrefly-1.3.0.dev1-py3-none-musllinux_1_2_aarch64.whl (14.1 MB view details)

Uploaded Python 3musllinux: musl 1.2+ ARM64

pyrefly-1.3.0.dev1-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl (14.6 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ x86-64

pyrefly-1.3.0.dev1-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl (15.2 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ ppc64le

pyrefly-1.3.0.dev1-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl (15.2 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ i686

pyrefly-1.3.0.dev1-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl (14.1 MB view details)

Uploaded Python 3manylinux: glibc 2.17+ ARM64

pyrefly-1.3.0.dev1-py3-none-macosx_11_0_arm64.whl (13.6 MB view details)

Uploaded Python 3macOS 11.0+ ARM64

pyrefly-1.3.0.dev1-py3-none-macosx_10_12_x86_64.whl (14.2 MB view details)

Uploaded Python 3macOS 10.12+ x86-64

File details

Details for the file pyrefly-1.3.0.dev1.tar.gz.

File metadata

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

File hashes

Hashes for pyrefly-1.3.0.dev1.tar.gz
Algorithm Hash digest
SHA256 189e0e1d3212ab4ecff1d058f9e095fa9711e5e4c19436f7370ceef05d1788fd
MD5 07f05b02fa4c4d6e3d833deefbea067f
BLAKE2b-256 a5defe8d8567d1d092f5d67bb8bbe0863a44919482a37febc79db8aa88088532

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.3.0.dev1.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.3.0.dev1-py3-none-win_arm64.whl.

File metadata

  • Download URL: pyrefly-1.3.0.dev1-py3-none-win_arm64.whl
  • Upload date:
  • Size: 13.6 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.3.0.dev1-py3-none-win_arm64.whl
Algorithm Hash digest
SHA256 d5070fecbe7b22eaf46b1da510fe5ea3c69b17f805dfbc04753d9501ce24f54e
MD5 285b8fb333f61ce5aff49ce86dfe0631
BLAKE2b-256 c8f9abe77e5154b1c56d60831aade2d4b6e9e9d2c458860e5fd9fc30a2fc720e

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.3.0.dev1-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.3.0.dev1-py3-none-win_amd64.whl.

File metadata

  • Download URL: pyrefly-1.3.0.dev1-py3-none-win_amd64.whl
  • Upload date:
  • Size: 14.3 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.3.0.dev1-py3-none-win_amd64.whl
Algorithm Hash digest
SHA256 70baea8d7577be7f50a5dbbf5819f5cb335208e97793846e14d80ebd8f90f6c4
MD5 ed9d8eed3f4f74f066aaccb34b58462e
BLAKE2b-256 61792a366f1b65c177e42f67b8540e7372e258d0880eed957859bbf5b1ff7d0e

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.3.0.dev1-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.3.0.dev1-py3-none-win32.whl.

File metadata

  • Download URL: pyrefly-1.3.0.dev1-py3-none-win32.whl
  • Upload date:
  • Size: 13.4 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.3.0.dev1-py3-none-win32.whl
Algorithm Hash digest
SHA256 7dd496f3642bba6764f3c4c9f189ef021a30fc05261087316e4d6bb9beace65e
MD5 6a7d99431065787e200a8a3229a5886e
BLAKE2b-256 3b17e4a7c0f6ded01370f3267058f5bb2a10487d200dc5a29058fbff34aa9820

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.3.0.dev1-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.3.0.dev1-py3-none-musllinux_1_2_x86_64.whl.

File metadata

File hashes

Hashes for pyrefly-1.3.0.dev1-py3-none-musllinux_1_2_x86_64.whl
Algorithm Hash digest
SHA256 1672be7086ae54d8dfce02eb612894c3ad51c42e03b4769d0e45a9d9e622d4ed
MD5 de5ca9188e4e572436f4256e74872dda
BLAKE2b-256 d5f4642addd2e33daf1cc2357150db5c6ab6a81bd378281203552d5e509c6f02

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.3.0.dev1-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.3.0.dev1-py3-none-musllinux_1_2_aarch64.whl.

File metadata

File hashes

Hashes for pyrefly-1.3.0.dev1-py3-none-musllinux_1_2_aarch64.whl
Algorithm Hash digest
SHA256 c4e6e3c80416636666d2a9cbca0fd32dbba51e54da4e7a5a6ba3388bfbacf612
MD5 f4902457beef0911e92ebbdc61a46528
BLAKE2b-256 fa8fc7211d118a5dfb08e24655ff5c4414fda0b281de64cf83834da9fd1bbcd2

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.3.0.dev1-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.3.0.dev1-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl.

File metadata

File hashes

Hashes for pyrefly-1.3.0.dev1-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
Algorithm Hash digest
SHA256 fdb58f30ec64ae44268baa58fcf01f0fdfba44c3153591c8b76a16a57df44ee4
MD5 f0669e8915d15d2d0578f94d5216a2e7
BLAKE2b-256 2c28172a588415c48b2eb2eccabbfb3e21c5c95ddeb1022ca96b5fde75c5f71a

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.3.0.dev1-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.3.0.dev1-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl.

File metadata

File hashes

Hashes for pyrefly-1.3.0.dev1-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
Algorithm Hash digest
SHA256 a0e36aede58dffab44a67ac0f322e416d0fa4955c80d491fc7e0fe80c1a73a5d
MD5 31ae372f7b5d0e10e17efab4ca68b41f
BLAKE2b-256 55731368adde6c6f29bd88d5929211291a17c4cf9bddaafd0a3ab330d463ed10

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.3.0.dev1-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.3.0.dev1-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl.

File metadata

File hashes

Hashes for pyrefly-1.3.0.dev1-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl
Algorithm Hash digest
SHA256 56a855f5784978e990effe760e0eaab60b98a0add9bebb79af901d9a8269696d
MD5 df881dbf4d5f21da3006252fc890c449
BLAKE2b-256 df9c985e6ab05ab7927d5f6eb8420958957b707f8fbdcb012001b967286a46cc

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.3.0.dev1-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.3.0.dev1-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl.

File metadata

File hashes

Hashes for pyrefly-1.3.0.dev1-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
Algorithm Hash digest
SHA256 c2dcce81731dcc0dcd199b6b0117ebd3df2ee1fc4910f508cb84aa7615182f28
MD5 efe0f35a2293e56823e10b72cbbccba5
BLAKE2b-256 4b28a41e1daab805124cdefc46566251555bbe0caf24668a851393971eb5cbd7

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.3.0.dev1-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.3.0.dev1-py3-none-macosx_11_0_arm64.whl.

File metadata

File hashes

Hashes for pyrefly-1.3.0.dev1-py3-none-macosx_11_0_arm64.whl
Algorithm Hash digest
SHA256 00e5d88265c5e3088ac566dd4cf542a13f93e76f7672b738c1306d5d5cae6123
MD5 d43a9d76da11b4d2cfef0c67a4d81f35
BLAKE2b-256 a2df0f405798d99900a6809483db0262c820ccccdf13b379789d9280d848b9a0

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.3.0.dev1-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.3.0.dev1-py3-none-macosx_10_12_x86_64.whl.

File metadata

File hashes

Hashes for pyrefly-1.3.0.dev1-py3-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 327e245a54357794954a7788d22dd446b90dcc403d0d82414b0b20b6fa37648c
MD5 bd5a17ee86269f7a087d330648e0a0e3
BLAKE2b-256 ba6aca1ea8084f000ecbf7d6a2a8cde3f2d6f437d0d527f5f0bda0a383fb011f

See more details on using hashes here.

Provenance

The following attestation bundles were made for pyrefly-1.3.0.dev1-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