Community-curated record of math problems solved by AI - significance rankings, verification labels, CC BY 4.0 dataset
2 files for Codex, OpenCode and Claude Code: vibemathed AGENTS.md, vibemathed CLAUDE.md — 159 tokens loaded in every session.
AGENTS.md A 154 tok CLAUDE.md A 5 tok These files are mrconter1/vibemathed's own configuration — they tell Codex, OpenCode and Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.