NSFC Budget Justification Writer
huangwb8/ChineseResearchLaTeX
Writes a submission-ready NSFC budget justification as a LaTeX project and renders budget.pdf from your grant proposal text and supporting materials.
Runs the final verification pass on a math-modeling competition paper written in Typst or LaTeX, checking structure, figures, numbers, leaks and compilation.
SKILL.md written in Chinese; this summary is our English description.
Install Math Modeling Paper Verifier
$ npx skills add jihe520/MathModelAgent --skill 6verity -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install jihe520/MathModelAgent 6verity --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/jihe520/MathModelAgent.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/6verity .claude/skills/6verity && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "6verity" agent skill from https://github.com/jihe520/MathModelAgent/tree/main/skills/6verity into .claude/skills/6verity/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "6verity", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/jihe520/MathModelAgent/tree/main/skills/6verityType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add jihe520/MathModelAgent --skill 6verity -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install jihe520/MathModelAgent 6verity --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/jihe520/MathModelAgent.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/6verity .agents/skills/6verity && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "6verity" agent skill from https://github.com/jihe520/MathModelAgent/tree/main/skills/6verity into .agents/skills/6verity/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "6verity", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add jihe520/MathModelAgent --skill 6verity -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install jihe520/MathModelAgent 6verity --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/jihe520/MathModelAgent.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/6verity .cursor/skills/6verity && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "6verity" agent skill from https://github.com/jihe520/MathModelAgent/tree/main/skills/6verity into .cursor/skills/6verity/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "6verity", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/jihe520/MathModelAgent.git --path skills/6verity--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add jihe520/MathModelAgent --skill 6verity -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install jihe520/MathModelAgent 6verity --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/jihe520/MathModelAgent.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/6verity .gemini/skills/6verity && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "6verity" agent skill from https://github.com/jihe520/MathModelAgent/tree/main/skills/6verity into .gemini/skills/6verity/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "6verity", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install jihe520/MathModelAgent 6verityInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add jihe520/MathModelAgent --skill 6verity -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/jihe520/MathModelAgent.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/6verity .github/skills/6verity && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "6verity" agent skill from https://github.com/jihe520/MathModelAgent/tree/main/skills/6verity into .github/skills/6verity/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "6verity", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add jihe520/MathModelAgent --skill 6verity -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install jihe520/MathModelAgent 6verity --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/jihe520/MathModelAgent.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/6verity .opencode/skills/6verity && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "6verity" agent skill from https://github.com/jihe520/MathModelAgent/tree/main/skills/6verity into .opencode/skills/6verity/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "6verity", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
6verity- GitHub stars
- 6.2k
- Token cost
- ~1.4k tokens
- SKILL.md length
- 275 words
- Files
- 2 (incl. scripts)
- Skills in repo
- 10
- Repo updated
- First seen
- Licence
- None found
At a glance
Runs the final verification pass on a math-modeling competition paper written in Typst or LaTeX, checking structure, figures, numbers, leaks and compilation.
- Works in 9 steps: 运行文本质量门禁 → 章节数量和标题顺序 → 图表和章节匹配 → …
- Doing final acceptance checks on a finished modeling-contest paper
- SKILL.md covers 数学建模规范参考, 阶段边界, 输入 and 工作流程, plus 2 more sections
- Runs Shell scripts from its folder; calls bash, pdftoppm and magick
What it does
This is the last gate of the workflow: it does not remodel, produce new results or rewrite the paper. It runs scripts/writing_check.sh, which picks Typst or LaTeX checks from the entry file extension and scans text only; its FAIL results are hard errors to fix and rerun. The agent then checks section count and heading order, whether every figure exists and is referenced, and whether captions and surrounding explanation match.
Further checks cover placeholders such as TODO, leaks of internal workflow filenames or result JSON paths into the paper text, list-heavy writing, repetitive figure-reference openings, and consistency between numbers in the paper and the recorded results, without inventing new results. Small hard errors are fixed directly; anything needing an earlier stage is written to reports/VERIFY_REPORT.md as not passed, along with the submission checklist, compile check and PDF visual check.
When your agent uses it
- Doing final acceptance checks on a finished modeling-contest paper
- Checking that every figure in a Typst or LaTeX paper exists and is referenced
- Confirming that numbers in the text match the recorded results
- Scanning for placeholders and leaked internal file names before submission
Example prompts
- “Verify my finished Typst paper in ./paper/main.typ and write the verification report.”
- “Check that all figures in main.tex are referenced and that the numbers match results.json.”
- “Is this paper submission-ready? Run the final acceptance checks.”
Requirements
- Bash to run scripts/writing_check.sh
- A Typst or LaTeX toolchain to compile the paper
- Pre-approved tools (allowed-tools): Bash(*), Read, Write, Edit, Grep, Glob, Agent, WebSearch, WebFetch
Workflow steps
9 steps, taken from the step headings in SKILL.md.
- 运行文本质量门禁
- 章节数量和标题顺序
- 图表和章节匹配
- 写作质量和泄露检查
- 数值和结果一致性
- 引用和模板规范
- 编译
- PDF 视觉检查
- 写验收报告
What it can do on your machine
Read from SKILL.md and the folder at commit 03f4eb3. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves these tools, so the agent can use them without asking each time:
Bash(*)ReadWriteEditGrepGlobAgentWebSearchWebFetch
From allowed-tools in the SKILL.md frontmatter.
Runs code
Ships 1 file in scripts/ (Shell), which the agent can run.
Shell commands in SKILL.md call:
bashpdftoppmmagick
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Math Modeling Paper Verifier loads about 1.4k tokens when it runs. Until then it costs about 27 tokens; SKILL.md has 275 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check: notes
The automated check noted patterns worth knowing about, such as sudo or a known installer.
- NotePre-approves every shell command (allowed-tools: Bash)SKILL.md
allowed-tools: Bash(*), Read, Write, Edit, Grep, Glob, Agent, WebSearch, WebFetch
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); the scripts in this folder are not scanned.
SKILL.md
Without a licence we can't republish the file, so here is its outline and opening line. It has 275 words (~1,355 tokens).
- name
- 6verity
- allowed-tools
- Bash(*), Read, Write, Edit, Grep, Glob, Agent, WebSearch, WebFetch
Files
SKILL.md and 1 other file (scripts) in skills/6verity of jihe520/MathModelAgent.
- SKILL.md
- scripts/writing_check.sh
Open the folder on GitHubat commit 03f4eb3
Compare with similar skills
Math Modeling Paper Verifier next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Math Modeling Paper Verifier this skilljihe520/MathModelAgent | 6.2k | — | ~1.4k | Automated safety check: Notes | None | |
| NSFC Budget Justification Writerhuangwb8/ChineseResearchLaTeX | 2.9k | 1 repos | ~1.4k | Automated safety check: Pass | MIT | |
| Market Research Reportsdavila7/claude-code-templates | 32k | 9 repos | ~7.2k | Automated safety check: Notes | MIT | |
| Academic LaTeX Formatterlingzhi227/agent-research-skills | 386 | — | ~603 | Automated safety check: Pass | None | |
| AutoMCM-Pro Math Modeling AgentRealSeaberry/AutoMCM-Pro | 257 | — | ~8.5k | Automated safety check: Pass | MIT | |
| AutoMCM-Pro for Codex CLIRealSeaberry/AutoMCM-Pro | 257 | — | ~1.6k | Automated safety check: Pass | MIT |
Similar skills
Market Research Reports
davila7/claude-code-templates
Generate comprehensive market research reports (50+ pages) in the style of top consulting firms (McKinsey, BCG, Gartner).
Academic LaTeX Formatter
lingzhi227/agent-research-skills
Sets up conference-specific LaTeX paper templates, checks a draft for formatting and submission issues, and auto-fixes common problems for venues like ICML, ICLR, NeurIPS, AAAI and ACL.
AutoMCM-Pro Math Modeling Agent
RealSeaberry/AutoMCM-Pro
Runs a math modeling competition entry end to end, in AI-led or human-led mode, with Git checkpoints and self-verified solver code before it enters the LaTeX paper.
AutoMCM-Pro for Codex CLI
RealSeaberry/AutoMCM-Pro
Runs a math modeling contest pipeline for CUMCM and MCM/ICM entries in Codex CLI, with git checkpoints, verified solver code and human review at each stage.
Market Research
thatrebeccarae/claude-marketing
Generate comprehensive market research reports (50+ pages) in the style of top consulting firms (McKinsey, BCG, Gartner).
More from jihe520/MathModelAgent
All 10 skills in this repoMathModel Figure Templates
jihe520/MathModelAgent
Renders ready-made scientific figure templates, such as raincloud plots, Taylor diagrams and chord diagrams, from bundled Python scripts in the MathModel sandbox.
Typst Author
jihe520/MathModelAgent
Generates, edits and debugs Typst (.typ) documents using the bundled Typst documentation as the source of truth, with formatting checks after each edit.
Math Modeling to EI Conference Paper
jihe520/MathModelAgent
Rewrites a math modeling competition paper into an English EI conference submission, using a bundled IEEE LaTeX template, with evidence tracked back to the original paper.
Math Modeling Workflow Starter
jihe520/MathModelAgent
Entry point for a math modeling competition project: asks about preferences, writes plan.md and todo.md, then calls stage skills for analysis, code, diagrams, paper and verification.
Math Modeling Problem Analysis
jihe520/MathModelAgent
Chinese-language stage that turns a math modeling contest problem and its data files into a modeling report with sub-problems, formulas and a task list for coding.
Math Modeling Code and Figures
jihe520/MathModelAgent
Math modeling stage that turns an analysis report into reproducible code, validates the solutions, writes RESULTS_REPORT.md and produces data-driven PDF charts for the paper.
Related
Works with
Categories
Questions about Math Modeling Paper Verifier
What does Math Modeling Paper Verifier do?
Runs the final verification pass on a math-modeling competition paper written in Typst or LaTeX, checking structure, figures, numbers, leaks and compilation. This is the last gate of the workflow: it does not remodel, produce new results or rewrite the paper.sh, which picks Typst or LaTeX checks from the entry file extension and scans text only; its FAIL results are hard errors to fix and rerun.
When should I use Math Modeling Paper Verifier?
Math Modeling Paper Verifier fits situations like: doing final acceptance checks on a finished modeling-contest paper; checking that every figure in a Typst or LaTeX paper exists and is referenced; confirming that numbers in the text match the recorded results; scanning for placeholders and leaked internal file names before submission.
How do I install Math Modeling Paper Verifier in Claude Code?
Run `npx skills add jihe520/MathModelAgent --skill 6verity -a claude-code`. Or copy the skill folder (skills/6verity in jihe520/MathModelAgent) into .claude/skills/6verity in your project. Claude Code loads it when a task matches its description.
How do I install Math Modeling Paper Verifier in Codex?
Run `npx skills add jihe520/MathModelAgent --skill 6verity -a codex`. Or copy the skill folder (skills/6verity in jihe520/MathModelAgent) into .agents/skills/6verity in your project. Codex loads it when a task matches its description.
Can I use Math Modeling Paper Verifier in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add jihe520/MathModelAgent --skill 6verity -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/6verity, .gemini/skills/6verity, .github/skills/6verity and .opencode/skills/6verity in your project.
What does Math Modeling Paper Verifier need to run?
Going by SKILL.md and its folder, Math Modeling Paper Verifier needs a shell for the scripts in its folder and the command-line tools its instructions call (bash, pdftoppm and magick). Our summary lists: Bash to run scripts/writing_check.sh; A Typst or LaTeX toolchain to compile the paper. Its frontmatter pre-approves these tools: Bash(*), Read, Write, Edit, Grep, Glob, Agent, WebSearch, WebFetch.
Does Math Modeling Paper Verifier access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is Math Modeling Paper Verifier safe to install?
Our automated static check of SKILL.md found notes only (pre-approves every shell command (allowed-tools: bash)), nothing it rates as a warning. It is not a guarantee. The check reads SKILL.md only: the scripts in the folder are not scanned, so read them before running anything.
What licence does Math Modeling Paper Verifier use?
No licence was found for Math Modeling Paper Verifier or its repository. Without one, default copyright applies: ask the author before reusing or redistributing it.
How many tokens does Math Modeling Paper Verifier use?
About 1.4k tokens (SKILL.md is roughly 5.4k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
What are the alternatives to Math Modeling Paper Verifier?
Skills that share tags, products or a category with Math Modeling Paper Verifier: NSFC Budget Justification Writer (huangwb8/ChineseResearchLaTeX, 2.9k stars), Market Research Reports (davila7/claude-code-templates, 32k stars), Academic LaTeX Formatter (lingzhi227/agent-research-skills, 386 stars) and AutoMCM-Pro Math Modeling Agent (RealSeaberry/AutoMCM-Pro, 257 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Math Modeling Paper Verifier?
jihe520 (a GitHub user) maintains it in jihe520/MathModelAgent, which has 6,181 GitHub stars. The repository holds 10 skills in this directory. The repository was last updated on October 3, 2026.
Source: jihe520/MathModelAgent on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.