Pyrefly: A fast type checker and language server for Python with powerful IDE features
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 withpyrefly suppress, and generate type annotations withpyrefly infer. Start with one file and expand at your own pace.
Getting Started
- Try out pyrefly in your browser: Sandbox
- Get the command-line tool:
pip install pyrefly - Get the IDE extension: IDE installation page
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.
2 maintainers
Release files for pyrefly 1.3.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| pyrefly-1.3.0.tar.gz | 6.7 MB | Details |
Built distributions (wheels)
Total release size: 172.6 MB
Release files / pyrefly-1.3.0.tar.gz
| Download URL | pyrefly-1.3.0.tar.gz |
|---|---|
| Size | 6.7 MB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
e96a0bf3abdc41cf40f7d2ef274bb610f4e6e4b387b366aea102902839073388
|
|
BLAKE2b-256 checksum How to use checksums |
7d82df301034ff7705b51ab212039958910434e1e9bd4765cde435538221fc35
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 11, 2026.
Transparency logRelease files / pyrefly-1.3.0-py3-none-win_arm64.whl
| Download URL | pyrefly-1.3.0-py3-none-win_arm64.whl |
|---|---|
| Size | 14.3 MB |
| Tags | Python 3 Windows ARM64 |
|
SHA-256 checksum How to use checksums |
3a3fb7c07dfb9b43d4205d8e85a83aaefc85377d0437dc8469c132836a8a7e5d
|
|
BLAKE2b-256 checksum How to use checksums |
b36f459f56dc345c32f8597acef13675e7e67679fb56bc3fd8f0a280eaeb8c02
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 11, 2026.
Transparency logRelease files / pyrefly-1.3.0-py3-none-win_amd64.whl
| Download URL | pyrefly-1.3.0-py3-none-win_amd64.whl |
|---|---|
| Size | 15.1 MB |
| Tags | Python 3 Windows x86-64 |
|
SHA-256 checksum How to use checksums |
f809fa5b447012adb8861efeb8f6435146788a39d9251d79dc38731a5d241893
|
|
BLAKE2b-256 checksum How to use checksums |
3c921d78e2ab1f9f1055ea43164d336903c95e608bede06ed182dc4b4f2c5390
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 11, 2026.
Transparency logRelease files / pyrefly-1.3.0-py3-none-win32.whl
| Download URL | pyrefly-1.3.0-py3-none-win32.whl |
|---|---|
| Size | 14.1 MB |
| Tags | Python 3 Windows x86-32 |
|
SHA-256 checksum How to use checksums |
4fb4cd5e5007e99208e44f749edaf37a03c0a56c98da7422c2dd60fde0f294b0
|
|
BLAKE2b-256 checksum How to use checksums |
d05ce1351611d2e205718394237381220ab70f0e21cb297db024eafead19acf9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 11, 2026.
Transparency logRelease files / pyrefly-1.3.0-py3-none-musllinux_1_2_x86_64.whl
| Download URL | pyrefly-1.3.0-py3-none-musllinux_1_2_x86_64.whl |
|---|---|
| Size | 15.5 MB |
| Tags | Linux musl 1.2+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
fe60cb6d7cdf6c9bb236c0a7efc4b9839cfe7ef834b07d637862f95a642699ef
|
|
BLAKE2b-256 checksum How to use checksums |
c7641adbc6ece9090bbd2e4ed1300918ab709166119426a21102639912ea65bb
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 11, 2026.
Transparency logRelease files / pyrefly-1.3.0-py3-none-musllinux_1_2_aarch64.whl
| Download URL | pyrefly-1.3.0-py3-none-musllinux_1_2_aarch64.whl |
|---|---|
| Size | 14.9 MB |
| Tags | Linux musl 1.2+ ARM64 Python 3 |
|
SHA-256 checksum How to use checksums |
5705bec5438aa4e3b65b0d2ea7613f6bdbdc57f8848bd4b7940bbab37f230d8c
|
|
BLAKE2b-256 checksum How to use checksums |
2b73bb834e88afea6c0de6960be2102c0cc1d817193c1efc3f6db9b450df191c
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 11, 2026.
Transparency logRelease files / pyrefly-1.3.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
| Download URL | pyrefly-1.3.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl |
|---|---|
| Size | 15.4 MB |
| Tags | Linux glibc 2.17+ x86-64 Python 3 |
|
SHA-256 checksum How to use checksums |
e94ff692911596d257462320a2ef1435c93c20c80d631404961282f4cc22a6cc
|
|
BLAKE2b-256 checksum How to use checksums |
b0febe59429726af4c0c3585951a937232d957182364cd2a621f74f4298a176e
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 11, 2026.
Transparency logRelease files / pyrefly-1.3.0-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl
| Download URL | pyrefly-1.3.0-py3-none-manylinux_2_17_ppc64le.manylinux2014_ppc64le.whl |
|---|---|
| Size | 16.0 MB |
| Tags | Linux glibc 2.17+ PowerPC 64-le Python 3 |
|
SHA-256 checksum How to use checksums |
e0cc33b35204b8e1b09396313024580d25a041de2f2f527e6496fc099282b967
|
|
BLAKE2b-256 checksum How to use checksums |
c20a33e49756fe3341dbb13789622cb8c9b6350d2710ceb47b8b0521f134ceea
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 11, 2026.
Transparency logRelease files / pyrefly-1.3.0-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl
| Download URL | pyrefly-1.3.0-py3-none-manylinux_2_17_i686.manylinux2014_i686.whl |
|---|---|
| Size | 16.1 MB |
| Tags | Linux glibc 2.17+ x86-32 Python 3 |
|
SHA-256 checksum How to use checksums |
46a90d6e48415dfa5d8d9c94ea5b9b61d7149dab87348952f2e000cf45145664
|
|
BLAKE2b-256 checksum How to use checksums |
d92f60598fe38f29f22d11d9f4b5c7fee1cbbb0d5b0cb7db6b373761d57f5f75
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 11, 2026.
Transparency logRelease files / pyrefly-1.3.0-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl
| Download URL | pyrefly-1.3.0-py3-none-manylinux_2_17_aarch64.manylinux2014_aarch64.whl |
|---|---|
| Size | 14.9 MB |
| Tags | Linux glibc 2.17+ ARM64 Python 3 |
|
SHA-256 checksum How to use checksums |
64285b1261681933f97cb11f3ba2e4445ff02a266707e4e2b7a279db0424c9f2
|
|
BLAKE2b-256 checksum How to use checksums |
01f2142e190b9432f802682b0b0794f71e2010e936de0541492cc43678d647af
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 11, 2026.
Transparency logRelease files / pyrefly-1.3.0-py3-none-macosx_11_0_arm64.whl
| Download URL | pyrefly-1.3.0-py3-none-macosx_11_0_arm64.whl |
|---|---|
| Size | 14.4 MB |
| Tags | Python 3 macOS 11.0+ ARM64 |
|
SHA-256 checksum How to use checksums |
14c56defaa804747f18e03d11b539e71b71c8251a2b9f58e73dea80e2f6adfd9
|
|
BLAKE2b-256 checksum How to use checksums |
4c77454615aa5db04903c99ced321295e32242c4b188be1a08f40b617ed72984
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 11, 2026.
Transparency logRelease files / pyrefly-1.3.0-py3-none-macosx_10_12_x86_64.whl
| Download URL | pyrefly-1.3.0-py3-none-macosx_10_12_x86_64.whl |
|---|---|
| Size | 15.1 MB |
| Tags | Python 3 macOS 10.12+ x86-64 |
|
SHA-256 checksum How to use checksums |
dd6c61e4c307eaaf3cf25fb329c4e7c9ff0376c42d5900362be2fd3333578a69
|
|
BLAKE2b-256 checksum How to use checksums |
369847bf19b6caef77852c7e1c03d71ef48a5f452bf041503d883e0bca6fc4c8
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/7.0.0 CPython/3.13.14
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Sep 11, 2026.
Transparency log
