Repository
facebook/pyrefly agent skills
- skills
- 6
- official
- 6
- GitHub stars
- 7.1k
GitHub description: “A fast type checker and language server for Python”
- Stars
- 7,051 (538 forks)
- Licence
- MIT
- Last push
- Oct 2026
- Created
- Feb 2025
- Homepage
- pyrefly.org
- code-quality
- ide
- language-server
- lsp
- python
- type-check
- type-checker
- typecheck
- typechecker
- rust
- types
- typing
- language-server-protocol
- type-annotations
- type-hints
- typechecking
Install all skills
npx skills add facebook/pyreflyAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in facebook/pyrefly, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | A skill your agent uses when adding a new PyTorch model to Pyrefly's shape-tracking example corpus under tensor-shapes/pyrefly-torch-stubs/examples — i.e. | facebook/ | 7.1k | — | ~1.3k | Automated safety check: Pass | MIT | today |
| 2 | Run Pyrefly benchmarks locally via Buck or Cargo, including PyTorch real-world LSP benchmarks. | facebook/ | 7.1k | — | ~1.8k | Automated safety check: Pass | MIT | today |
| 3 | A skill your agent uses when Pyrefly computes a wrong tensor shape (or is missing one that can't be expressed in a stub signature) and you need to add or fix a shape-DSL rule. | facebook/ | 7.1k | — | ~1.2k | Automated safety check: Pass | MIT | today |
| 4 | Port a PyTorch model to use pyrefly's tensor shape type system (Tensor[[B, C, H, W]], Int[T]). | facebook/ | 7.1k | — | ~13k | Automated safety check: Pass | MIT | today |
| 5 | Produces a scorecard evaluating a pyrefly change on correctness and quality. | facebook/ | 7.1k | — | ~1.5k | Automated safety check: Pass | MIT | today |
| 6 | Reviews a comma separated pyrefly diff according to the pyrefly review best practices. | facebook/ | 7.1k | — | ~863 | Automated safety check: Pass | MIT | today |
Questions, answered from the data.
What is the best skill in facebook/pyrefly?
Add Torch Shapes Example (official) from facebook/pyrefly ranks first of the 6 skills in facebook/pyrefly listed here, with the highest score: its repository has 7.1k GitHub stars, its SKILL.md loads about 1.3k tokens and it passes the automated safety check with no findings. Next come Benchmark Pyrefly and Modify Shaped Array Dsl.
Are the skills in facebook/pyrefly official?
6 of the 6 skills in facebook/pyrefly are official, published by the vendor's own GitHub organization: Add Torch Shapes Example, Benchmark Pyrefly, Modify Shaped Array Dsl, Add Shape Types To Torch Model, Score Pyrefly Change and 1 more.
How do I install all skills from facebook/pyrefly?
Run npx skills add facebook/pyrefly in your project: the open-source skills CLI installs the repository's skills into your coding agent's skills folder. To install a single skill, open its page here for the exact command.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.