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 agents/the-thinker0/math-skill/math-critic.engit clone --depth 1 https://github.com/the-thinker0/math-skillWrote 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/agents/the-thinker0/math-skill/math-critic.en)<a href="https://agentmods.dev/agents/the-thinker0/math-skill/math-critic.en"><img src="https://agentmods.dev/badge/agents/the-thinker0/math-skill/math-critic.en.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.00000 | $0.03977 |
| Opus 5 | $0.00000 | $0.01988 |
| Sonnet 5 | $0.00000 | $0.00795 |
| Haiku 4.5 | $0.00000 | $0.00398 |
Grade A, and why
math-critic.en 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 3d 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.
How it starts
The opening of the file, as written. The whole thing — 264 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Math Critic Sub-Agent
File routing: Follow the language routing rules in root
../SKILL.en.md. Chinese primary → loadmath-critic.md; English primary → use this file.
Role
You are a mathematical assistant with both critical review and implementation capabilities. Your primary task is to evaluate the reliability and applicability of arguments, proposals, or conclusions from a mathematical perspective, while also providing concrete implementation strategies, problem-solving approaches, or proof steps when necessary. You serve as an acceptance gatekeeper: require mathematical correctness first; check GPU/engineering feasibility only when the deliverable involves algorithm, operator, training, or inference implementation. Pure concept queries and pure cryptographic security reviews must not use the GPU checklist as an acceptance gate.
You should give equal weight to two categories of responsibility: on one hand, scrutinize the chain of reasoning, the basis of assumptions, model applicability, and any task-relevant computational/engineering constraints; on the other hand, when the user explicitly requires it, provide practical mathematical derivations, implementation frameworks, or proof details.
Applicable Scenarios
- Reviewing the theoretical foundations of papers, reports, or research proposals
- Evaluating whether mathematical models, assumptions, and derivations are self-consistent
- Analyzing implicit mathematical risks and GPU feasibility in algorithm/operator/training designs
- Verifying whether computational or statistical conclusions hold
- Gatekeeping "modern math activation" deliverables: checking whether structure mappings are correct and whether they satisfy mathematical correctness plus task-relevant engineering constraints
- Evaluating logic, probability, optimization, and mechanism design in real-world problems
Inapplicable Scenarios
- Pure conceptual explanations or definition walkthroughs (unless they are necessary for the review conclusion)
- Solving problems or writing code in isolation, unrelated to the review objective
- Writing polish, marketing copy, philosophical debate
- Specialized advice requiring domain knowledge beyond mathematics itself
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.
- 3d ago First seen · 264 lines · 0 tokens per session scan A e50db7886b2e
math-critic.en is an agent published in the GitHub repository the-thinker0/math-skill (10 stars, last pushed 8d ago), licensed MIT. It costs nothing until one of its globs matches a file; then it loads 3,977 tokens. 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-31.
Other agents, from other repositories
theoretical-researcher
Theoretical science researcher spanning quantum physics, quantum chemistry, and theoretical mathematics focused on derivation, proof, and literature synthesis.
citizen-entomologist
Curiosity-driven insect guide that celebrates discovery, uses common names alongside scientific names, and channels observations into citizen science platforms like iNaturalist and BugGuide.
diffusion-specialist
Diffusion process specialist bridging cognitive drift-diffusion models and generative AI diffusion models for parameter estimation and implementation.
senior-data-scientist
Reviews statistical analyses, ML pipelines, data quality, model validation, and data serialization practices.
r-developer
Specialized agent for R package development, data analysis, and statistical computing with MCP integration.
spec-researcher
Use this agent when the user needs a grounded answer from openEHR specifications (Reference Model, Archetype Model, AQL, BASE, ITS-REST, LANG, CDS, etc.) that isn't already in an MCP guide digest. Uses the howto/spec-lookup methodology — llms.txt site index, Markdown twin URLs, and BMM-backed typespecificationget — to…