07:49
2026-09-29
snipvote.com
ai-agents
Choir: An Open Protocol for Distributed Multi-Agent Autoformalization
Choir is an open protocol that moves autoformalization from a single centrally run agent fleet to a GitHub-coordinated model in which independent contributors run their own LLM agents and pay their ow…