mathodology: Instructions file for Codex

AGENTS.md

mathodology AGENTS.md is an instructions file for Codex, OpenCode from sweetcornna/mathodology. It costs 651 tokens per session, scanned A, original, MIT.

A set of instructions for Mathodology, a collection of agent skills for mathematical modelling competitions such as MCM and ICM. It explains the repository structure and which project skills to load before substantial work.

In plain words
What is it for?
Use it when working on the Mathodology skills repository, especially for project orientation, evidence searches, backups, or orchestrating coding agents.
Why use it?
It provides orientation for a skills-only repository that does not contain the usual application code or datasets. This helps agents choose the right workflow and supporting instructions.

Instructions file for CodexOpenCode

Written for Codex and OpenCode: the file is AGENTS.md. Also seen: reads .claude/ paths; mentions Claude Code; reads ~/.codex paths.

This is sweetcornna/mathodology's own configuration. It tells Codex and OpenCode how to work on mathodology itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything mathodology configures →

Reuse

Borrowing it

Nothing to install: this file belongs to sweetcornna/mathodology. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/sweetcornna/mathodology/main/AGENTS.md
Clone the repo
git clone --depth 1 https://github.com/sweetcornna/mathodology

Made for: Codex, OpenCode.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for mathodology AGENTS.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/sweetcornna/mathodology/agents-md/github.svg)](https://agentmods.dev/instructions/sweetcornna/mathodology/agents-md)
Your own site
<a href="https://agentmods.dev/instructions/sweetcornna/mathodology/agents-md"><img src="https://agentmods.dev/badge/instructions/sweetcornna/mathodology/agents-md/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for mathodology AGENTS.md

Your own site · 80×15
<a href="https://agentmods.dev/instructions/sweetcornna/mathodology/agents-md"><img src="https://agentmods.dev/badge/instructions/sweetcornna/mathodology/agents-md.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 651 This file is loaded in full into every session.
When invoked 651 The same file — it is already loaded in full.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00651 $0.00651
Opus 5.5 $0.00260 $0.00260
Sonnet 5.5 $0.00130 $0.00130
Haiku 4.5 $0.00065 $0.00065

Measured 4d ago against content hash b309fbefe4eb, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

mathodology AGENTS.md scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 4d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

AGENTS.md · 56 lines

How it starts

The opening of the file, as written. The whole thing — 56 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Mathodology Agent Guide

Mathodology is a skills pack for mathematical modeling contests: prompts that support mathematical judgment, reproducible computation and clear scientific communication. Adapt the amount of work to the actual problem and deadline; quality follows from the argument and evidence, not from phase gates, panel scores or a predicted prize.

Skills and roles

  • mathodology-whole-project: entry point, installation, backup and repository use.
  • mathodology-agent-pipeline: modeling prompts and focused collaboration.
  • mathodology-evidence-search: literature, data, citations and licensed references.
  • mathodology-figure-presets: scientific figure selection, design, image2 and examples.
  • mathodology-award-gates: substantive mathematical and editorial review questions.
  • mathodology-project-orientation: skills-only repository boundaries.
  • mathodology-skill-authoring: maintain skills and their metadata.
  • mathodology-dev-test-release: optional repository maintenance checks.

Roles in .claude/agents/ (Codex: .codex/agents/) are for parallel or isolated work: brief one with a concrete question and evidence, and ask for findings, artifacts and limitations in ordinary prose. A small task is done by a single agent.

Figures

Load mathodology-figure-presets before figure work. It owns the image2 availability question (ask once per task; reuse any answer already in the conversation) and the default data-driven rendering route.

Repository boundary

Maintain skills in .claude/skills/, roles in .claude/agents/ and .codex/agents/, and short workflow prompts in .claude/workflows/. This is the sole source of truth; .agents/skills/ is a gitignored local mirror for Codex. Back up this project's mirror before refreshing it; do not modify other skills or global settings.

Keep skill references, licensed exemplars and small optional utilities within the owning skill. Contest outputs belong in a separate working project or the ignored work/ directory. .mcp.json configures evidence search; keep credentials and machine-specific paths out of it.

Read the full file on GitHub · 56 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 4d ago Changed · +3 lines · +61 tokens per session b309fbefe4eb
  2. 5d ago Changed · -16 lines · -184 tokens per session 9bd7eb60e87e
  3. 1mo ago Changed · +42 lines · -110 tokens per session df2a4f096e47
  4. 1mo ago First seen · 27 lines · 884 tokens per session scan A 4cf4c4a5a3ea

Subscribe to this mod's changes

mathodology AGENTS.md is an instructions file published in the GitHub repository sweetcornna/mathodology (315 stars, last pushed 4d ago), licensed MIT. It adds 651 tokens to every session, about $0.0026 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

Related

Other instructions, from other repositories