3 tagged ai4math, measured the same way as everything else here.
Instructions file CodexOpenCode
Instructions for frenzymath/Danus, covering danus — codex main-agent contract, role, two exploration lanes, continuous parallel mathematical reasoning and persistent goal and timed strategy loop.
Instructions file CodexOpenCode
Instructions for VeryMath/co-mathematician, covering agents.md, repository contract, hard rules, agent compatibility and adapter architecture.
Instructions file
Instructions for VeryMath/co-mathematician, covering claude.md, repository contract, required flow, claude code operating notes and harness commands.