overview
What is Pyre?
Pyre is a static type checker tool developed by Meta (formerly Facebook and Instagram) that enables developers to enhance code quality and security with static analysis. It supports gradual typing and delivers responsive incremental checks on large codebases. Designed for Python 3, Pyre performs static analysis to identify type-related bugs before runtime, improving code readability and maintainability. A key differentiator is its integration with Pysa, a security-focused static analysis tool that reasons about data flows in Python applications at scale to detect potential vulnerabilities. Pyre is built for performance on extensive codebases, including those with millions of lines of Python code, providing quick feedback through incremental checks. Meta is currently transitioning development efforts to Pyrefly, a Rust-based successor aiming for enhanced type inference and performance, with an early preview playground made available in March 2025.