GateCraft：門控式數學建模 Skill 套件

GateCraft 是 DeepSeek Harness 的數學建模插件，採用“門控式”工作流將求解過程拆解爲讀題、建模、代碼、分析、寫作五階段，強調人在階段決策與驗收。插件包含 9 個 Skills 和一個 DSH Preset，覆蓋國獎寫作、LaTeX 排版及全流程編排。其核心是 `paper-gate` 硬約束檢查機制，通過事實、不變量、觀察三層規則和 `docgate.py` 引擎，對文檔進行 13 項自動化檢查（含 FAIL/WARN），確保結果可控。此外，插件還提供優化、圖件及提示詞等輔助工具。該插件主要適用於統計與優化類題目，旨在輔助人機協作，將數模過程從“黑盒”轉變爲可控流水線