GitHub organization
Agent skills by facebookresearch
- skills
- 6
- repository
- 1
Repositories by facebookresearch
Skills by facebookresearch, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Setup Set up, inspect, or repair repository infrastructure for an Autoform Lean project, including the Lean/Mathlib shell, an in-repository Obsidian-compatible blueprint vault, ignore rules, MkDocs… | facebookresearch/ | 117 | — | ~2.5k | Automated safety check: Pass | MIT | today |
| 2 | 2.Roadmap Build, continue, inspect, or visualize a source-grounded mathematical roadmap and theorem DAG in an existing Autoform Markdown blueprint. | facebookresearch/ | 117 | — | ~1.8k | Automated safety check: Pass | MIT | today |
| 3 | Judge an Autoform mathematical roadmap or Lean formalization with explicit, evidence-based rubrics. | facebookresearch/ | 117 | — | ~859 | Automated safety check: Pass | MIT | today |
| 4 | Maintain AutoformBot's code, skills, tests, examples, and installation. | facebookresearch/ | 117 | — | ~417 | Automated safety check: Pass | MIT | today |
| 5 | Formalize ready leaves from an existing Autoform Markdown roadmap in Lean, using native agents, fail-closed claims, and verified Markdown progress. | facebookresearch/ | 117 | — | ~2.5k | Automated safety check: Pass | MIT | today |
| 6 | Prepare and guide human inspection of an Autoform roadmap or formalization through its Obsidian graph and rendered blueprint site. | facebookresearch/ | 117 | — | ~856 | Automated safety check: Pass | MIT | today |
Questions, answered from the data.
What is the best skill by facebookresearch?
Setup from facebookresearch/autoform-bot ranks first of the 6 skills by facebookresearch listed here, with the highest score: its repository has 117 GitHub stars, its SKILL.md loads about 2.5k tokens and it passes the automated safety check with no findings. Next come Roadmap and Agent Review.
Are facebookresearch's skills official?
None yet. All 6 skills by facebookresearch listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
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.