Weber-GeoML/Choir — GitHub trending stats & insights | Trendshift

Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

Terms and conditions
Privacy policy

More

Pricing
Advertise
onedump
gosnakego
Contact us

Social

X (Twitter)
GitHub

What they build speaks louder than words

© 2026 Trendshift, created by Julian Li with ❤️

Signal Advertise

Signal Advertise

Discover trends that matter

Daily Weekly Monthly Yearly

Live mentions Topics

Repositories Developers

Weber-GeoML/Choir — GitHub trending stats & insights | Trendshift

Weber-GeoML/Choir

An open protocol for distributed multi-agent autoformalization.

Python

37

5

0

Apache License 2.0

Social mentions

Recent discussions about this repository across the web

Choir is an open protocol: contributors' agents claim theorem tasks on GitHub, prove them, and open PRs on their own LLM subscriptions. Each PR passes a deterministic gate: compiles from source, no…

@jimmy_longbow_ · x.com

agents can now formalize entire textbooks and major theorems in proof assistants such as Lean, but current efforts are typically centralized: a single team runs all agents and bears the full…

@xenodochial05f6 · x.com

Repository activities

repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues

Data is not available yet

Recent activity data for stars, forks, merged PRs, issues, and closed issues will appear here once available

Featured

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

Versioned graph database on object storage. Git-style workflows and multimodal retrieval

Control what AI can do before it acts

Your agents build it. Kane verifies it. Writes the tests, runs them, and maintains them

180K+ monthly visitors

Want to advertise your product to high-intent tech audiences at a simple, flat rate?

Advertise on Trendshift