Search
Documents & Office · facebookresearch/autoform-bot
1 skill found.
Skills
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 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 | today |
