Getting it into your agent
It runs from inside its repository, so the clone comes first — what it calls does not travel with the file alone.
git clone --depth 1 https://github.com/woodfishhhh/EZ_math_modelnpx agentmods add skills/woodfishhhh/ez_math_model/verification-before-completionWrote 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/skills/woodfishhhh/ez_math_model/verification-before-completion)<a href="https://agentmods.dev/skills/woodfishhhh/ez_math_model/verification-before-completion"><img src="https://agentmods.dev/badge/skills/woodfishhhh/ez_math_model/verification-before-completion.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.1 | $0.00042 | $0.00341 |
| Opus 5 | $0.00021 | $0.00170 |
| Sonnet 5 | $0.00008 | $0.00068 |
| Haiku 4.5 | $0.00004 | $0.00034 |
Grade A, and why
verification-before-completion 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 7d 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
verification-before-completion — 完成前证据核验
何时使用
pipeline 05 quality_audit。pipeline 06 packaging前后。- 任何准备声明“完成”“通过”“已生成”的时候。
核心要求
对每条 quality_report.json/md 与 export_audit.json/md 的通过项给证据，而不是
口头判断。
证据类型：
- 文件存在与大小。
- 命令 exit code 与关键输出。
- grep / diff / hash 匹配。
- 图表引用与实际文件一致。
- 结果数值与报告表述一致。
- DOCX 中
word/media/*、m:oMath、w:tbl的对象计数。 - PDF 是否使用 fallback、是否高保真。
output/manifest.json、output.zip与 staging 发布证据一致。
示例
Get-ChildItem workdir/.../figures/*.png
Select-String -Path workdir/.../paper.md -Pattern '!\\[[^\\]]*\\]\\(([^)]+)\\)'
python scripts/runtime/audit_quality.py --workdir runtime/...
python scripts/runtime/audit_export.py --workdir runtime/... --paper-output output/paper
如果证据收集失败，该项不能标为通过。
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.
- 7d ago First seen · 40 lines · 42 tokens per session scan A ccbc7141f6e1
verification-before-completion is a skill published in the GitHub repository woodfishhhh/EZ_math_model (40 stars, last pushed 1mo ago), licensed MIT. It adds 42 tokens to every session and 341 once invoked, about $0.0002 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 skills, from other repositories
math-modeling-solver
A Chinese-language guide for solving mathematical modeling competition problems. It covers China’s CUMCM and America’s MCM/ICM, where teams use mathematics and code to answer real-world problem statements.
mathmodel-skill
An end-to-end workflow for mathematical-modeling competitions, including CUMCM, MCM/ICM, and the Electrical Cup. It guides teams from choosing a problem through modeling, solving, checking, writing, rule compliance, and final review.
math-modeling-paper
A Chinese-language guide for writing papers for mathematical modelling competitions, where teams use mathematics and data to study a real-world problem.
interpret-modeling-problems
A method for turning a mathematical modelling contest problem and its attachments into a checked plan for solving and documenting it.
math-modeling-finalizer
A finalization guide for mathematical-modeling projects after the main results are largely fixed.
1start-mathmodel
A workflow entry point for the Chinese national mathematical modelling competition. It coordinates problem analysis, modelling, programming, diagrams, paper writing, and verification.