Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add instructions/sweetcornna/mathodology/agents-mdgit clone --depth 1 https://github.com/sweetcornna/mathodologyWrote 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.
[](https://agentmods.dev/instructions/sweetcornna/mathodology/agents-md)<a href="https://agentmods.dev/instructions/sweetcornna/mathodology/agents-md"><img src="https://agentmods.dev/badge/instructions/sweetcornna/mathodology/agents-md.svg" alt="Measured on agentmods" height="20"></a>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.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.00884 | $0.00884 |
| Opus 5 | $0.00442 | $0.00442 |
| Sonnet 5 | $0.00177 | $0.00177 |
| Haiku 4.5 | $0.00088 | $0.00088 |
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.
What it actually says
Mathodology Agent Guide
Mathodology is an Agent Skills pack purpose-built for math modeling contests (MCM/ICM, CUMCM, Huashu Cup, M3, HiMCM/MidMCM, IMMC/IM2C, and similar), targeting award-level submissions end to end. This repository is skills-only. The current GitHub tree intentionally contains no application source, CI, deployment, generated contracts, datasets, package manifests, lockfiles, or build outputs.
Project skills for AI coding tools live in .claude/skills/.
The root .mcp.json registers the keyless search MCP server (free-search-mcp) and enables its staged download tool. mathodology-evidence-search combines that server — its two-level category routing and its paper_graph prior-art/retraction check included — with built-in WebSearch by default, so a clone has dual-source evidence discovery with no per-user setup.
Claude Code project subagents live in .claude/agents/.
Claude Code workflow templates live in .claude/workflows/.
Before non-trivial work, load the relevant skill:
mathodology-whole-projectfor full skills-repository orientation, backup, transfer, restore, and Codex or Claude Code orchestration.mathodology-project-orientationfor the current skills-only layout, retained files, deletion policy, and repository boundary checks.mathodology-award-gatesfor award-run gate schemas (structured handoff/gate/scorecard/decision_memo), the severity ladder, judge-panel thresholds, iteration budgets, run layout, the blind seat protocol, and the shipped figure/PDF QA and run-block linting scripts.mathodology-evidence-searchfor external evidence work: combined built-inWebSearchandsearchMCP discovery by default, two-level category routing across literature, dataset, news, finance, code, forum, and image sources, source reconciliation, citation verification with apaper_graphprior-art/retraction check, reproducible downloads, and explicit single-source degradation.mathodology-agent-pipelinefor archived knowledge about the former Python agent pipeline and the new award-level phase workflow.mathodology-gateway-apifor archived knowledge about the former Rust gateway and API.mathodology-web-uifor archived knowledge about the former Vue web UI.mathodology-dev-test-releasefor skills-only validation and archived dev, test, deploy, packaging, and release guidance.mathodology-skill-authoringfor adding or updatingSKILL.mdfiles andagents/openai.yamlmetadata.
For Claude Code, prefer .claude/workflows/mathodology-award-submission.md with the mathodology-* project subagents. The mathodology-lead agent runs as the main thread and dispatches the specialists; at Phase 7 it dispatches three independent blind mathodology-award-judge seats in parallel and aggregates their scorecards against the numeric tier thresholds in mathodology-award-gates. If the contest is M3, HiMCM/MidMCM, IMMC/IM2C, leaderboard/data-science, operations/policy/business-case, or short-sprint style, also load .claude/workflows/mathodology-contest-variants.md and apply the matching adapter.
For Codex, run the 9-phase workflow in multi-agents mode from docs/WORKFLOWS.md: dispatch independent agents per phase, synthesize, then gate with an independent critic before continuing. In Phase 0, classify the contest type and apply the matching workflow adapter from docs/WORKFLOWS.md. Ask the user only for contest-critical details that would change requirements, data access, model choice, compute budget, or final submission constraints; otherwise record conservative assumptions and continue phase by phase. Every phase artifact must have a specialist handoff and an independent critic gate before it can feed the next phase.
Do not reintroduce non-skills project files unless the user explicitly changes the repository strategy. If historical application code is needed, inspect Git history in a separate branch or worktree instead of adding it back to main.
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.
- 4d ago First seen · 27 lines · 884 tokens per session scan A 4cf4c4a5a3ea
mathodology AGENTS.md is an instructions file published in the GitHub repository sweetcornna/mathodology (159 stars, last pushed 4d ago), licensed MIT. It adds 884 tokens to every session, about $0.0044 per session on Opus 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.
Other instructions, from other repositories
plan-forge database.instructions.md
Database patterns for .NET — Dapper/EF Core, parameterized queries, migration strategy.
shannon-prover CLAUDE.md
Claude Code instructions for SkyShannonProver/shannon-prover, covering shannon prover: claude entry point, current boundary, easycrypt environment, eval safety and current documentation.
gandalf CLAUDE.md
Instructions for sebacaro/gandalf, covering gandalf — cli para spec driven development, comandos, activar entorno, ejecutar directamente and o con gandalf global (después de install.sh).
SciCrucible CLAUDE.md
Claude Code instructions for Xinyang-Li666/SciCrucible, covering 科学知识库, 知识库结构, 可用命令, 项目目录 and 工作原则.
uniprot-mcp-server AGENTS.md
AGENTS.md instructions for cyanheads/uniprot-mcp-server, covering developer protocol, what's next?, core rules, patterns and tool.
revogrid-mcp AGENTS.md
AGENTS.md instructions for revolist/revogrid-mcp, a project described as: RevoGrid MCP Service.