skills.rest
facebookfacebookOfficial·5 Agent Skills Included

pyre-check

Fast Python type checking and security taint analysis toolkit

Checks Python codebases for type errors at scale and traces how untrusted data flows into dangerous operations. Eliminates slow manual code review by incrementally analyzing millions of lines and flagging security vulnerabilities automatically. Helps developers and AI agents navigate the codebase, debug taint analysis results, and run integration tests faster.
7,170|451
↗
npx skills add facebook/pyre-check --all -g -y
Available:

Tells the AI agent how to build, test, and lint the Pyre and Pysa codebase, including which commands work for open-source users versus Meta internal users.

All Skills in This Repository (5)

Pure Emerald Level Indicators
📦 In Repo
facebookfacebook

commit-conventions

Enforce commit prefixes, reviewer tags, and default test plans for git commits.

Official
Basic
📦 In Repo
facebookfacebook

architecture

Explain Pyre and Pysa architecture for code paths and module responsibilities.

Official
Advanced
📦 In Repo
facebookfacebook

pysa-json-models

Parse and validate Pysa NDJSON taint models with sources, sinks, and tito.

Official
Intermediate
📦 In Repo
facebookfacebook

pysa-false-negative-debugger

Compare two Pysa result directories to locate lost taint flow.

Official
Advanced
📦 In Repo
facebookfacebook

pysa-integration-tests

Run and debug Pysa taint analysis integration tests with expected output updates.

Official
Intermediate

Frequently Asked Questions

FAQPage Schema
How to install pyre-check?▼

Run `npx skills add facebook/pyre-check --all -g -y` in your terminal to install all skills in this suite globally.

What does Pyre do for Python projects?▼

Pyre is a fast type checker that catches type errors in large Python codebases incrementally as you write code. Note that this repository is archived and type checking has moved to Pyrefly.

What is Pysa taint analysis?▼

Pysa is a security-focused static analysis tool that tracks how untrusted data flows through Python applications to detect vulnerabilities like SQL injection and remote code execution.

How to debug a Pysa false negative?▼

The included debugger skill compares two Pysa output directories and traces forward and backward taint flows step by step to pinpoint exactly where the taint was lost.

Is pyre-check still maintained?▼

No, this repository is archived. Type checking moved to Pyrefly and Pysa security analysis moved to its own repository at facebook/Pysa.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills