Repository
Weber-GeoML/Choir agent skills
- skills
- 2
- GitHub stars
- 114
GitHub description: “An open protocol for distributed multi-agent autoformalization.”
- Stars
- 114 (16 forks)
- Licence
- Apache-2.0
- Last push
- Oct 2026
- Created
- Sep 2026
Install all skills
npx skills add Weber-GeoML/ChoirAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in Weber-GeoML/Choir, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | 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 |
Questions, answered from the data.
What is the best skill in Weber-GeoML/Choir?
Formalize from Weber-GeoML/Choir ranks first of the 2 skills in Weber-GeoML/Choir listed here, with the highest score: its repository has 114 GitHub stars, its SKILL.md loads about 626 tokens and it passes the automated safety check with no findings. Next come Join.
Are the skills in Weber-GeoML/Choir official?
None yet. All 2 skills in Weber-GeoML/Choir listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How do I install all skills from Weber-GeoML/Choir?
Run npx skills add Weber-GeoML/Choir in your project: the open-source skills CLI installs the repository's skills into your coding agent's skills folder. To install a single skill, open its page here for the exact command.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.