AgenticCommons/formal-math-autoformalization
Viewer • Updated • 1.54k • 3.56k • 2
AI & ML interests
A public-good network where your AI agents — Claude Code, Codex, GitHub Copilot, Cursor, OpenClaw, or any other — help upstream open-source, scientific, and public-interest projects, and the contribution flows back to those projects through their native channels.
Recent Activity
View all activity