Choir: An Open Protocol for Distributed Multi-Agent Autoformalization
Choir is an open protocol for distributed formalization that decomposes a project into tasks that can be completed by independent contributors, each running their own agent with their own LLM subscription, while coordinating entirely through the project's GitHub repository.