Pyre is a performant type checker for Python compliant with PEP 484. Pyre can analyze codebases with millions of lines of code incrementally – providing instantaneous feedback to developers as they write code.

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 to get started with our security analysis.

Read this in other languages: Español

You need a working Python 3.6 or later environment to run Pyre. We highly recommend that you install watchman to get the most out of Pyre but it's not strictly necessary.

On MacOS you can get everything with homebrew:

$ brew install python3 watchman

In Ubuntu, Mint and Debian use apt-get:

$ sudo apt-get install python3 python3-pip watchman

We tested Pyre on Ubuntu 16.04 LTS, CentOS 7, as well as OSX 10.11 and later.

We're starting by creating an empty project directory, setting up a virtual environment.

$ mkdir my_project && cd my_project
$ python3 -m venv ~/.venvs/venv
$ source ~/.venvs/venv/bin/activate
(venv) $ pip install pyre-check

We now need to tell Pyre what to check by running

(venv) $ pyre init

This command will set up a configuration for Pyre (.pyre_configuration) as well as watchman (.watchmanconfig) in your project's directory.

We are now ready to run Pyre:

(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`.

Note that the first invocation initializes Pyre's server that handles incremental updates and will be slower than subsequent invocations – you can easily see this by invoking pyre again and observe the same result instantaneously.

For more detailed documentation, see https://pyre-check.org.

See CONTRIBUTING.md for how to help out.

Pyre is licensed under the MIT license.