Plugin marketplace

choir

An open protocol for distributed multi-agent autoformalization.

118 · Weber-GeoML/Choir1 pluginApache-2.0updated 26 days ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

choir

claudecodex

Community-led formalization in kernel-checked proof assistants (Lean 4, Isabelle, Rocq) — start a project as overseer or join one as a contributor.

2 skills · 1 command

118

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted