Pyre
A performant type-checker for Python 3
Fast
Built from the ground up to support gradual typing and deliver responsive incremental checks. Performant on large codebases with millions of lines of Python.
Integrated
Designed to help improve code quality and development speed by flagging type errors interactively in your terminal or live in your favorite editor.
Fully Featured
Follows the typing standards introduced in PEPs 484, 526, 612, and is being actively developed and constantly improved.
Built For Security
Pyre ships with Pysa, a security focused static analysis tool we've built to reason about data flows in Python applications at scale.