5 instruction files for AI agents, collected from verymath/co-mathematician. Install any of them at an exact version with mdr add verymath/co-mathematician/<name>.
verymath/co-mathematician · .agents/skills/co-mathematician/SKILL.md · Use when creating, continuing, reviewing, or completing a durable coding-agent-driven mathematical research project.