facebook/pyre-check

Health v2 · maintenance only

Flags: archived

Adoption not part of the score

7170 stars · 452 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded

Pyre is a performant, PEP 484-compliant static type checker for Python that provides incremental checking of large codebases, and it ships with Pysa, a taint-analysis tool for finding security vulnerabilities. The repository is now archived; type checking has moved to Pyrefly and Pysa to its own repository.

Use cases

• type check a python codebase
• find type errors in python before runtime
• statically analyze python for security vulnerabilities
• detect taint flows from user input to dangerous sinks
• incremental type checking in the editor for large python projects

When to choose

• you need fast, incremental PEP 484 type checking on very large Python codebases
• you want taint-analysis-based security scanning of Python code (via Pysa)
• you are maintaining a legacy setup already configured for Pyre

When to avoid

• you are starting a new project - use Pyrefly (or mypy) for type checking and the standalone Pysa repo for security analysis
• you need actively maintained tooling with current Python version support
• you need cross-platform support beyond macOS and Linux

Facets

cli-tool · maturity abandoned

type-system linter security developer-tools programming-languages security python cli type-checker pysa taint-analysis pep-484 archived pyrefly-successor python macos linux

Member repositories

For agents

markdown · JSON · MCP: product_card(name="facebook/pyre-check")