1 repository with Claude Code or Codex plugins.
An open protocol for distributed multi-agent autoformalization.
1 plugin · Weber-GeoML/Choir