Why this repo matters
Latest release 12d ago, 5 developer signals, 2 package/install signals
An AI agent for open mathematical problems — honest by design. (2 stars, 0 forks, Python, fresh release, 5 AI signals, 3 developer signals). Latest release: v0.0.5.