Search
By Weber-GeoML
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 | Start or resume a Choir formalization project as its overseer — formalize a theorem, paper, textbook chapter, or folder of sources in Lean 4, Isabelle, or Rocq by orchestrating AI contributor agents… | Weber-GeoML/ | 114 | — | ~626 | Automated safety check: Pass | Apache-2.0 | 9 days ago |
| 2 | 2.Join Join a Choir formalization project as a contributor — set up this machine and start proving tasks (Lean 4, Isabelle, or Rocq) with your own agent on your own LLM account. | Weber-GeoML/ | 114 | — | ~522 | Automated safety check: Pass | Apache-2.0 | 9 days ago |
