Search
Development · By frenzymath
2 skills found.
Product:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Lean4 A skill your agent uses when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas… | frenzymath/ | 223 | — | ~4.2k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 2 | First-run setup interview for a Danus deployment. An agent skill from frenzymath/Danus. | frenzymath/ | 476 | — | ~1.4k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
