Repository
facebookresearch/autoform-bot agent skills
- skills
- 6
- GitHub stars
- 117
GitHub description: “Autoform Bot”
- Stars
- 117 (30 forks)
- Licence
- MIT
- Last push
- Oct 2026
- Created
- May 2026
Install all skills
npx skills add facebookresearch/autoform-botAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in facebookresearch/autoform-bot, 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 in facebookresearch/autoform-bot?
Setup from facebookresearch/autoform-bot ranks first of the 6 skills in facebookresearch/autoform-bot 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 the skills in facebookresearch/autoform-bot official?
None yet. All 6 skills in facebookresearch/autoform-bot listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How do I install all skills from facebookresearch/autoform-bot?
Run npx skills add facebookresearch/autoform-bot 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.