[](https://github.com/facebook/pyre-check/actions/workflows/tests.yml)
[](https://opensource.org/licenses/MIT)
[](https://gitter.im/pyre-check/community?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge)
> [!IMPORTANT]
>
> ## New Version is Available
>
> Check out <a href="https://github.com/facebook/pyrefly">Pyrefly</a>, our next-generation Python typechecker and language server.
<p align="center">
<img src="https://raw.githubusercontent.com/facebook/pyre-check/main/logo.png">
</p>
Pyre is a performant type checker for Python compliant with [PEP 484](https://www.python.org/dev/peps/pep-0484/). Pyre can analyze codebases with millions of lines of code incrementally – providing instantaneous feedback to developers as they write code. You can try it out on examples in [the Pyre Playground](https://pyre-check.org/play).
Pyre ships with **Pysa**, a security focused static analysis tool we've built on top of Pyre that reasons about data flows in Python applications. Please refer to our [documentation](https://pyre-check.org/docs/pysa-quickstart) to get started with our security analysis.
Pysa is also available on the [GitHub Marketplace as a Github Action](https://github.com/marketplace/actions/pysa-action)
## Requirements
To get started, you need [Python 3.8 or later](https://www.python.org/getit/) and [watchman](https://facebook.github.io/watchman/) working on your system. On *MacOS* you can get everything with [homebrew](https://brew.sh/):
```bash
$ brew install python3 watchman
```
On *Ubuntu*, *Mint*, or *Debian*; use `apt-get` and [homebrew](https://brew.sh/):
```bash
$ sudo apt-get install python3 python3-pip python3-venv
$ brew install watchman
```
We tested Pyre on *Ubuntu 18.04.5 LTS*, *CentOS 7*, as well as *OSX 10.11* and later.
## Setting up a Project
We start by creating an empty project directory and setting up a virtual environment:
```bash
$ mkdir my_project && cd my_project
$ python3 -m venv ~/.venvs/venv
$ source ~/.venvs/venv/bin/activate
(venv) $ pip install pyre-check
```
Next, we teach Pyre about our new project:
```bash
(venv) $ pyre init
```
This command will set up a configuration for Pyre (`.pyre_configuration`) as well as watchman (`.watchmanconfig`) in your project's directory. Accept the defaults for now – you can change them later if necessary.
## Running Pyre
We are now ready to run Pyre:
```bash
(venv) $ echo "i: int = 'string'" > test.py
(venv) $ pyre
ƛ Found 1 type error!
test.py:1:0 Incompatible variable type [9]: i is declared to have type `int` but is used as type `str`.
```
This first invocation will start a daemon listening for filesystem changes – type checking your project incrementally as you make edits to the code. You will notice that subsequent invocations of `pyre` will be faster than the first one.
For more detailed documentation, see https://pyre-check.org.
## Join the Pyre community
See [CONTRIBUTING.md](CONTRIBUTING.md) for how to help out.
## License
Pyre is licensed under the MIT license.
Raw data
{
"_id": null,
"home_page": "https://pyre-check.org/",
"name": "pyre-check-nightly",
"maintainer": "Facebook",
"docs_url": null,
"requires_python": ">=3.8",
"maintainer_email": "pyre@fb.com",
"keywords": "typechecker development",
"author": "Facebook",
"author_email": "pyre@fb.com",
"download_url": "https://files.pythonhosted.org/packages/25/8a/3dbd7b142aad7c4544deb7b74cd767a7f614cff56527109fd069e26d5d7a/pyre-check-nightly-0.0.101752318739.tar.gz",
"platform": null,
"description": "[](https://github.com/facebook/pyre-check/actions/workflows/tests.yml)\n[](https://opensource.org/licenses/MIT)\n[](https://gitter.im/pyre-check/community?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge)\n\n> [!IMPORTANT]\n>\n> ## New Version is Available\n>\n> Check out <a href=\"https://github.com/facebook/pyrefly\">Pyrefly</a>, our next-generation Python typechecker and language server.\n\n<p align=\"center\">\n <img src=\"https://raw.githubusercontent.com/facebook/pyre-check/main/logo.png\">\n</p>\n\nPyre is a performant type checker for Python compliant with [PEP 484](https://www.python.org/dev/peps/pep-0484/). Pyre can analyze codebases with millions of lines of code incrementally \u2013 providing instantaneous feedback to developers as they write code. You can try it out on examples in [the Pyre Playground](https://pyre-check.org/play).\n\nPyre ships with **Pysa**, a security focused static analysis tool we've built on top of Pyre that reasons about data flows in Python applications. Please refer to our [documentation](https://pyre-check.org/docs/pysa-quickstart) to get started with our security analysis.\n\nPysa is also available on the [GitHub Marketplace as a Github Action](https://github.com/marketplace/actions/pysa-action)\n\n## Requirements\nTo get started, you need [Python 3.8 or later](https://www.python.org/getit/) and [watchman](https://facebook.github.io/watchman/) working on your system. On *MacOS* you can get everything with [homebrew](https://brew.sh/):\n```bash\n$ brew install python3 watchman\n```\nOn *Ubuntu*, *Mint*, or *Debian*; use `apt-get` and [homebrew](https://brew.sh/):\n```bash\n$ sudo apt-get install python3 python3-pip python3-venv\n$ brew install watchman\n```\nWe tested Pyre on *Ubuntu 18.04.5 LTS*, *CentOS 7*, as well as *OSX 10.11* and later.\n\n## Setting up a Project\nWe start by creating an empty project directory and setting up a virtual environment:\n\n```bash\n$ mkdir my_project && cd my_project\n$ python3 -m venv ~/.venvs/venv\n$ source ~/.venvs/venv/bin/activate\n(venv) $ pip install pyre-check\n```\n\nNext, we teach Pyre about our new project:\n```bash\n(venv) $ pyre init\n```\nThis command will set up a configuration for Pyre (`.pyre_configuration`) as well as watchman (`.watchmanconfig`) in your project's directory. Accept the defaults for now \u2013 you can change them later if necessary.\n\n## Running Pyre\nWe are now ready to run Pyre:\n```bash\n(venv) $ echo \"i: int = 'string'\" > test.py\n(venv) $ pyre\n \u019b Found 1 type error!\ntest.py:1:0 Incompatible variable type [9]: i is declared to have type `int` but is used as type `str`.\n```\nThis first invocation will start a daemon listening for filesystem changes \u2013\u00a0type checking your project incrementally as you make edits to the code. You will notice that subsequent invocations of `pyre` will be faster than the first one.\n\nFor more detailed documentation, see https://pyre-check.org.\n\n## Join the Pyre community\n\nSee [CONTRIBUTING.md](CONTRIBUTING.md) for how to help out.\n\n## License\n\nPyre is licensed under the MIT license.\n",
"bugtrack_url": null,
"license": "MIT",
"summary": "A performant type checker for Python",
"version": "0.0.101752318739",
"project_urls": {
"Download": "https://github.com/facebook/pyre-check",
"Homepage": "https://pyre-check.org/"
},
"split_keywords": [
"typechecker",
"development"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "35b2f796b608d994846e30e47802d4caf2e464504369c12e7f06d2f9d458bd8d",
"md5": "d34abbeb16971fb5161dd9a7fb19df74",
"sha256": "9f5dda9e65a0d762a4ae72f49cbb8aadf4a23862147c51c48b4c42a0404342e8"
},
"downloads": -1,
"filename": "pyre_check_nightly-0.0.101752318739-py3-none-macosx_10_11_x86_64.whl",
"has_sig": false,
"md5_digest": "d34abbeb16971fb5161dd9a7fb19df74",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 22100300,
"upload_time": "2025-07-12T11:36:55",
"upload_time_iso_8601": "2025-07-12T11:36:55.662523Z",
"url": "https://files.pythonhosted.org/packages/35/b2/f796b608d994846e30e47802d4caf2e464504369c12e7f06d2f9d458bd8d/pyre_check_nightly-0.0.101752318739-py3-none-macosx_10_11_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "1d85148b89af08435a1ad059d087f6d93f285ab00cda21c898bd1a05f3ccfb11",
"md5": "20250eb2822a285a53ed3c8860fda2e6",
"sha256": "99c290c01540682b5e47c2d2b8f59c5ca21166cec9132f05881d251c3ad4777f"
},
"downloads": -1,
"filename": "pyre_check_nightly-0.0.101752318739-py3-none-manylinux1_x86_64.whl",
"has_sig": false,
"md5_digest": "20250eb2822a285a53ed3c8860fda2e6",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 45574100,
"upload_time": "2025-07-12T11:36:50",
"upload_time_iso_8601": "2025-07-12T11:36:50.149519Z",
"url": "https://files.pythonhosted.org/packages/1d/85/148b89af08435a1ad059d087f6d93f285ab00cda21c898bd1a05f3ccfb11/pyre_check_nightly-0.0.101752318739-py3-none-manylinux1_x86_64.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "258a3dbd7b142aad7c4544deb7b74cd767a7f614cff56527109fd069e26d5d7a",
"md5": "522c582f5a0bebfa062e4129809d6d1e",
"sha256": "8c43491856cf3a79a6065edc77d253ca7c9162ec814cdd43c3b4b2a791d3878e"
},
"downloads": -1,
"filename": "pyre-check-nightly-0.0.101752318739.tar.gz",
"has_sig": false,
"md5_digest": "522c582f5a0bebfa062e4129809d6d1e",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 21357382,
"upload_time": "2025-07-12T11:36:58",
"upload_time_iso_8601": "2025-07-12T11:36:58.016291Z",
"url": "https://files.pythonhosted.org/packages/25/8a/3dbd7b142aad7c4544deb7b74cd767a7f614cff56527109fd069e26d5d7a/pyre-check-nightly-0.0.101752318739.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2025-07-12 11:36:58",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "facebook",
"github_project": "pyre-check",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"requirements": [
{
"name": "click",
"specs": [
[
"<",
"8.2.0"
],
[
">=",
"8.0"
]
]
},
{
"name": "dataclasses-json",
"specs": [
[
"==",
"0.5.7"
]
]
},
{
"name": "libcst",
"specs": []
},
{
"name": "psutil",
"specs": []
},
{
"name": "pyre-extensions",
"specs": [
[
">=",
"0.0.29"
]
]
},
{
"name": "tabulate",
"specs": []
},
{
"name": "testslide",
"specs": [
[
">=",
"2.7.0"
]
]
},
{
"name": "typing_extensions",
"specs": []
},
{
"name": "typing_inspect",
"specs": []
},
{
"name": "tomli",
"specs": []
},
{
"name": "tomli-w",
"specs": []
}
],
"lcname": "pyre-check-nightly"
}
JSON
