Math Paper Verification and QA Agent Skill

Validates and quality-checks Typst and LaTeX competition papers for structure, numerical consistency, compilation success, and CUMCM…

Context cost
3.3k tokensestimated from the bundle, loaded when it triggers
Bundle
2 files · 37.4 kB1 script among them — read before you run
Licence
MITthe author’s own terms
Last change
—no release on file
Servers it uses
Noneruns standalone

What it does

数学建模竞赛最终验证和验收阶段,支持 Typst 和 LaTeX 双引擎。用于论文写完后检查章节数量、标题顺序、图表引用、数值一致性、占位符、内部文件泄露、参考文献、代码可复现性、编译和提交就绪状态。

What this skill changes about the agent has not been set out here as a list. Its SKILL.md, shown below, says it in the author’s own words.

productivity

The skill itself

A skill is instructions the model reads, so you can see what you are getting: below is the start of its SKILL.md. The front matter loads with every session, the body loads when the skill triggers, and the whole file comes with the install.

SKILL.md13.2 kB · preview
--- name: 6verity ---
5# 验证和验收(Typst / LaTeX)
6
7本 skill 是完整工作流的最后一关。它不重新建模、不生成新结果、不代替写作阶段重写论文;它负责发现硬错误、修复可直接修复的问题,并输出 reports/VERIFY_REPORT.md。
8
9## 数学建模规范参考
10
11如需领域判断,读取 ../_references/math_modeling_norms.md 中的“论文验收与一致性”小节。CUMCM 2026 模式还必须读取 ../_references/CUMCM_2026_RULES.md;具体目录、入口文件、结果文件和图表目录由当前项目结构决定。
12
13## 阶段边界
14
15- 本阶段负责:结构验收、文本质量门禁、图表引用检查、结果一致性检查、Typst/LaTeX 编译检查、PDF 视觉检查、提交清单。
16- 本阶段不负责:重新设计模型、重新跑大规模实验、重新组织整篇论文。
17- 发现硬错误时,优先做不改变模型含义的小范围修复;如果需要回到前序阶段,写入 reports/VERIFY_REPORT.md,标记未通过并给出结构化路由。
18
19## CUMCM 2026 提交门禁
20
21识别到 competition_mode: CUMCM_2026 时,下列任一硬门禁失败都必须令 SUBMISSION_READY = false;普通 PASS 不得覆盖它:
22
23- PDF 第 1 页为摘要专用页,含标题、摘要、关键词;摘要原则上不超过 1 页;摘要页页码为 1,页脚中部连续编号。
24- 不存在目录;A4;四边距至少 2.5 cm;正文不超过 30 页;论文文件不超过 20 MB。
This is a preview of SKILL.md. Download or install the skill to get the whole thing.
In the file
SKILL.md678 words
Files2
LicenceMIT
Why you can read it

Nothing in a skill executes. The client loads the text and the model follows it, so a skill can be audited the way a runbook is — by reading it.

What it costs in context

Skills are not billed by the call. They are paid for in context: every token the instructions occupy is a token your code, your diff and your conversation cannot use. Here is what this one takes and when it takes it.

≈30
always loaded
The name and description, so the model knows the skill exists and when to reach for it.
3,270
on trigger
The instruction body and 1 supporting file, read only when the skill fires.
1.7%
of a 200k window
Ten skills this size would take about 17% of the window before you open a file.
050k100k150k200k context window

3.3k tokens, estimated from the bundle at four bytes to the token, held for the rest of the session once it triggers. Middling. Fine to keep on in a project where you use it weekly, worth unloading in one where you never do.

Servers bill, skills cost

A server charges by the month. A skill charges once per session, in context, and then keeps charging it for as long as the session lives.

Before and after

The same question, put to the same model twice: once as it comes, and once with these instructions loaded.

No worked example has been published for this skill yet.

The procedure it runs

The procedure has not been set out here step by step. It is in the body of its SKILL.md: the start of it is shown above, and the whole file comes with the install.

Prose, not code

These steps are written for a model to follow, not executed by a runtime. It can still be told to skip one, and it will say so when it does.

Servers it uses

None. This skill calls no MCP servers at all.

Everything it needs is in the instructions, so it works in a project with nothing connected — the model reads the file and changes how it works with what it can already reach.

Its SKILL.md does not declare which tools it asks the agent for, so what it touches is whatever the instructions themselves ask for — read them before you install it.

What it asks for
Writes filesnot declared
Network accessnot declared

This SKILL.md carries no allowed-tools line, so neither is declared. A skill grants no permissions of its own — it can only ask for tools your client already has.

What it will not do

Every skill is narrow, and the useful ones say where they stop. These are the jobs this one is the wrong tool for.

What this skill is not for has not been published here. Nothing is implied by that: it is a section the author has not filled in.

What is in the bundle

2 files, 37.4 kB on disk. Mostly text — the instructions the model reads — with 1 script in it that your client would run only if the instructions tell it to.

  • SKILL.md13.2 kB
  • scripts/writing_check.sh24.2 kB
What is not in it

A skill installs nothing and depends on nothing: it is a folder your client reads. This one carries 1 script beside the text, so the bundle is 2 files you can review in full before installing. The MIT licence covers the templates and examples as well as the instructions.

Install

Installing copies the bundle into your project. Nothing runs at install time — the files sit on disk until the model reads them.

# Math Paper Verification and QA · 3.3k tokens when loaded · macOS, Linux mkdir -p .claude/skills && t=$(mktemp -d) && curl -fsSL -o "$t/bundle.tar.gz" https://mcprush.com/api/skills/math-paper-verification-and-qa/bundle.tar.gz && tar -xzf "$t/bundle.tar.gz" -C "$t" && [ -d "$t/math-paper-verification-and-qa" ] && { [ ! -e .claude/skills/math-paper-verification-and-qa ] || { mv .claude/skills/math-paper-verification-and-qa "$t/.previous" && echo "Previous copy moved to $t/.previous"; }; } && mv "$t/math-paper-verification-and-qa" .claude/skills/ && echo "Installed .claude/skills/math-paper-verification-and-qa"
On Windows, or any OS with Node 20+
npx mcprush@latest skill add miaodemimi/math-paper-verification-and-qa

Windows PowerShell says 'running scripts is disabled on this system'? Run Set-ExecutionPolicy -Scope CurrentUser RemoteSigned once, or type npx.cmd instead of npx (codex.cmd, gemini.cmd, grok.cmd likewise). PowerShell 7 needs neither. Writes to .claude/skills/math-paper-verification-and-qa/ in the current project. For every project instead, run mkdir -p ~/.claude/skills && t=$(mktemp -d) && curl -fsSL -o "$t/bundle.tar.gz" https://mcprush.com/api/skills/math-paper-verification-and-qa/bundle.tar.gz && tar -xzf "$t/bundle.tar.gz" -C "$t" && [ -d "$t/math-paper-verification-and-qa" ] && { [ ! -e ~/.claude/skills/math-paper-verification-and-qa ] || { mv ~/.claude/skills/math-paper-verification-and-qa "$t/.previous" && echo "Previous copy moved to $t/.previous"; }; } && mv "$t/math-paper-verification-and-qa" ~/.claude/skills/ && echo "Installed ~/.claude/skills/math-paper-verification-and-qa" (macOS, Linux) — or add --global to the npx line. The curl line replaces .claude/skills/math-paper-verification-and-qa/ only after the download succeeds, so files left there by another skill of the same name, or by an older release, do not mix in. A copy already there is moved aside, not deleted, and the line prints where. It appears as 6verity in Gemini CLI, Codex, Copilot and Grok (its own name); Claude Code lists it by the folder name, math-paper-verification-and-qa.

Which clients pick it up on their own

A skill is a folder of text. Most of these read a skills folder and pick it up without being told; the rest take the same folder another way — an upload in the app, a parameter on an API call — and then choose it by its description just the same.

Claude Code.claude/skills/
Claude DesktopCustomize › Skills
ChatGPTSkills › Create › Upload
Cursor.cursor/skills/
VS Code.github/skills/
Codex CLI.agents/skills/
Gemini CLI.gemini/skills/
Grok Build.grok/skills/
Microsoft CopilotSkills › Upload a skill
PerplexityComputer › Skills › Upload a skill
DeepSeek Harness.dsh/skills/
Zed.agents/skills/
Devin Desktop.devin/skills/
Windsurf (legacy).windsurf/skills/
OpenAI Agents SDKInstructions or sandbox Skills
HTTP / APIa request parameter
This release
Versionnot versioned
Publishedno release date on file
PriceFree
Referencemiaodemimi/math-paper-verification-and-qa

Versions

Its author publishes no version number, so there is nothing here to pin to: what you install is the folder as it stands today. Instructions change more often than APIs do — a skill can be rewritten entirely without anything it depends on moving.

Pinning

Nothing to pin to: this skill carries no version number of its own. What you install is what the folder holds on the day you install it.

Reviews

—no reviews yet

Nobody has reviewed this skill yet. The rating is the mean of the reviews written here, so there is none until somebody writes the first.

Sign in to review it

A review is tied to an account so it can be answered, edited and taken down by the person who wrote it.

Sign in
Who can post

Anybody with an account, one review each. It carries the version that was current when you wrote it, and the publisher may reply once.

Publisher
Servers0
Claim this skill