Menu

Individual skill

math-verifier

0upvotes

Use when 高教社杯/CUMCM 数学建模方案需要在代码、图表、摘要或最终提交前独立核验公式、单位、量纲、约束、边界情形、可行性措辞、假设或论文就绪数学结论。

math-verifier/SKILL.md

Read pinned source

Source commit da53b41cab7e25be906f5899488229387e7921c0

What was checked

Matches the observed repository HEAD
Yes
Scanner rules are current
No
Repository scan complete
No
Skill scan complete
No
Observed behavior
Not checked yet
Last checked
Nov 5, 2026

These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.

Install this skill

Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.

An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.

Repository context

Repository stars (not skill ratings)
58
Repository last updated
Jul 19, 2026
License
MIT

Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.

Files and excerpt

File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.

Browse files
Read excerpt

# 数学核验

## 用途

Verify the math before it becomes paper language. Treat this skill as an independent hard gate for dimensional consistency, formula back-substitution, boundary behavior, feasibility claims, and assumption loss.

核心规则：不要解新问题，也不要发明缺失的模型部件。只按题面、建模交接、符号表和证据产物核验已经写出、算出或声称的内容。

国一候选门槛：数学核验必须保证题目贴合、建模洞察、证据可信、可复现、边界清楚有公式、单位、约束和边界案例支撑；这是提交质量门槛，不承诺获奖。漂亮结论只要无法回代、无法闭合单位或无法说明边界，就不能进入论文就绪状态。

硬门禁：单位、定义域、约束、边界条件、公式回代或可行性措辞只要未检查、不一致或未知，模型结论就不能进入论文就绪状态。

返回规则：本技能只把发现返回 `math-hub`。可以建议修复面，但不能直接路由、派发或调用另一个技能。