Pyre-Check - Performant Type-Checking For Python

for Python compliant with tool we've built on top of Pyre that reasons about data flows in Python applications. Please refer to our and :
On Ubuntu, Mint, or Debian; use apt-get:
We tested Pyre on Ubuntu 16.04 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:
Next, we teach Pyre about our new project:
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:
This first invocation will start a daemon listening for .