An agent-ready repository template for mathematical research: scope, literature, evidence, computation, and durable records.
2 files for Codex, OpenCode and Claude Code: math-research-harness AGENTS.md, math-research-harness CLAUDE.md — 3,029 tokens loaded in every session.
AGENTS.md A 2,814 tok CLAUDE.md A 215 tok These files are haruhisa-enomoto/math-research-harness'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.