GateCraft：门控式数学建模 Skill 套件

GateCraft 是 DeepSeek Harness 的数学建模插件，采用“门控式”工作流将求解过程拆解为读题、建模、代码、分析、写作五阶段，强调人在阶段决策与验收。插件包含 9 个 Skills 和一个 DSH Preset，覆盖国奖写作、LaTeX 排版及全流程编排。其核心是 `paper-gate` 硬约束检查机制，通过事实、不变量、观察三层规则和 `docgate.py` 引擎，对文档进行 13 项自动化检查（含 FAIL/WARN），确保结果可控。此外，插件还提供优化、图件及提示词等辅助工具。该插件主要适用于统计与优化类题目，旨在辅助人机协作，将数模过程从“黑盒”转变为可控流水线