VeryMath/co-mathematician

Co-mathematician project for collaborative AI-assisted mathematical research.

9 files for Claude Code, Codex and OpenCode: co-mathematician, adversarial_reviewer, citation_checker, computational_experimenter and 5 more — 2,327 tokens loaded in every session.

Open on GitHub

Instructions

co-mathematician AGENTS.md AGENTS.md A 1,425 tok
co-mathematician CLAUDE.md CLAUDE.md A 902 tok

Skills

co-mathematician .agents/skills/co-mathematician/SKILL.md A 26 tok

Agents

adversarial_reviewer .claude/agents/adversarial_reviewer.md A 31 tok
citation_checker .claude/agents/citation_checker.md A 26 tok
computational_experimenter .claude/agents/computational_experimenter.md A 32 tok
logic_reviewer .claude/agents/logic_reviewer.md A 28 tok
proof_explorer .claude/agents/proof_explorer.md A 30 tok
synthesis_agent .claude/agents/synthesis_agent.md A 27 tok

These files are VeryMath/co-mathematician's own configuration — they tell Claude Code, Codex and OpenCode 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.