Search
Obsidian · facebookresearch/autoform-bot
2 skills found.
Category:
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 | today |
| 2 | 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 |
