Search
By facebookresearch
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | 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 | yesterday |
| 2 | 2.Roadmap Build, continue, inspect, or visualize a source-grounded mathematical roadmap and theorem DAG in an existing Autoform Markdown blueprint. | facebookresearch/ | 117 | — | ~2.1k | Automated safety check: Pass | MIT | yesterday |
| 3 | Judge an Autoform mathematical roadmap or Lean formalization with explicit, evidence-based rubrics. | facebookresearch/ | 117 | — | ~859 | Automated safety check: Pass | MIT | yesterday |
| 4 | Maintain AutoformBot's code, skills, tests, examples, and installation. | facebookresearch/ | 117 | — | ~417 | Automated safety check: Pass | MIT | yesterday |
| 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.7k | Automated safety check: Pass | MIT | yesterday |
| 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 | yesterday |
