Co-mathematician project for collaborative AI-assisted mathematical research.
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.
AGENTS.md A 1,425 tok CLAUDE.md A 902 tok .agents/skills/co-mathematician/SKILL.md A 26 tok .claude/agents/adversarial_reviewer.md A 31 tok .claude/agents/citation_checker.md A 26 tok .claude/agents/computational_experimenter.md A 32 tok .claude/agents/logic_reviewer.md A 28 tok .claude/agents/proof_explorer.md A 30 tok .claude/agents/synthesis_agent.md A 27 tok