6verity

npx skills add jihe520/MathModelAgent --skill 6verity --agent claude-code

Same command for any agent — swap --agent for codex, cursor, copilot.

# 验证和验收（Typst / LaTeX） 本 skill 是完整工作流的最后一关。它不重新建模、不生成新结果、不代替写作阶段重写论文；它负责发现硬错误、修复可直接修复的问题，并输出 `reports/VERIFY_REPORT.md`。 ## 数学建模规范参考 如需领域判断，读取 `../_references/math_modeling_norms.md` 中的"论文验收与一致性"小节。该文件只是规范知识库，不是固定执行流程；具体目录、入口文件、结果文件和图表目录由当前项目结构决定。 ## 阶段边界 - 本阶段负责：结构验收、文本质量门禁、图表引用检查、结果一致性检查、Typst/LaTeX 编译检查、PDF 视觉检查、提交清单。 - 本阶段不负责：重新设计模型、重新跑大规模实验、重新组织整篇论文。 - 发现硬错误时，优先做小范围修复；如果需要回到前序阶段，写入 `reports/VERIFY_REPORT.md` 并标记为未通过。 ## 输入 由模型先根据当前工作区判断项目布局，再把实际路径传给检查脚本。常见输入包括但不限于： 1. 论文入口文件：`main.typ`（Typst）或 `main.tex`（LaTeX）。 2. 正文章节目录或若干正文文件（`.typ` 或 `.tex`）。 3. 参考文献文件（`references.typ` 或 `references.tex`）。 4. 前序阶段的分析、建模、结果、图示报告。 5. 图表目录 6. 可复现代码目录。 7. 编译后的 PDF，或可由入口文件编译得到的输出 PDF。 不要假设论文目录一定叫 `paper/`，也不要假设结果文件一定在项目根。若项目使用不同命名，按实际结构传参并在 `reports/VERIFY_REPORT.md` 中说明。 ## 工作流程 ### Step 1: 运行文本质量门禁 优先运行本 skill 的脚本。脚本按入口文件扩展名自动选择检查逻辑（`.typ` → Typst 检查，`.tex` → LaTeX 检查）： ```bash set -o pipefail mkdir -p _tmp SCRIPT_PATH="<按当前 skill 实际位置确定>/scripts/writing_check.sh" bash "$SCRIPT_PATH" \ --paper-dir "$PAPER_DIR" \ --main "$MAIN_FILE" \ --sections-dir "$SECTIONS_DIR" \ --references "$REFERENCES_FILE" \ --figures-dir "$FIGURES_DIR" \ --results-file "$RESULTS_FILE" \ --problem-analysis "$PROBLEM_A

set -o pipefail
mkdir -p _tmp
bash "$SCRIPT_PATH" \
command -v typst >/dev/null 2>&1 && typst compile "$MAIN_FILE" "$OUTPUT_PDF"
command -v xelatex >/dev/null 2>&1 && xelatex -interaction=nonstopmode "$MAIN_FILE" && xelatex -interaction=nonstopmode "$MAIN_FILE"
mkdir -p _tmp/pdf-pages
if command -v pdftoppm >/dev/null 2>&1; then
pdftoppm -png -r 160 "$OUTPUT_PDF" _tmp/pdf-pages/page
elif command -v mutool >/dev/null 2>&1; then
mutool draw -r 160 -o _tmp/pdf-pages/page-%03d.png "$OUTPUT_PDF"