yushui2022/MathModel-Skill
Agent-native mathematical modeling workflow skills for Trae, Claude Code, and Codex, covering problem parsing, modeling, code generation, evidence checks, paper writing, and Word delivery.
解決的問題
MathModel Skill 為 AI 程式代理提供了一個結構化框架，用於處理數學建模競賽的整個生命週期。不再依賴單一提示生成論文，而是將流程轉化為可驗證的工作流程，確保實際計算被執行、證據被收集，並以專業格式（Word/PDF）產生正式論文。
如何運作
此專案實作一個多階段流程（S0-S8），不同「技能」負責特定任務。流程從輸入預檢查與問題分析開始，經過模型選擇、程式碼撰寫、執行，最終完成正式撰寫與渲染檢查。
關鍵機制包括：
- 基於證據的工作流程：每個步驟產生實際檔案與證據（透過 SHA-256 記錄），下一階段依賴這些證據，防止代理產生幻覺結果。
- 分層能力等級：提供三種版本（Lite、Standard、Pro），針對不同 LLM 能力，從基礎報告到高強度研究（包含多路徑比較與穩健性實驗）皆可適配。
- 正式撰寫：專用撰寫元件逐節生成論文，審核內容，並合併為最終文件，支援原生 Word 公式與透過 LibreOffice 的 PDF 渲染。
適用對象
使用 AI 代理（如 Codex、Claude Code 或 Trae）協助進行問題分析、資料處理與論文起草的數學建模競賽參與者（學生或研究人員）。
主要亮點
- 可驗證執行：強制代理執行真實程式碼並保留證據，而非僅模擬過程。
- 多平台支援：提供 Codex、Claude Code 與 Trae 的預建安裝套件。
- 格式嚴謹性：包含自動檢查論文長度、原生 Word OMML 公式與 PDF 渲染驗證。
- 分層工作流程：靈活的版本（Lite、Standard、Pro）可匹配所選 LLM 的推理能力與成本。
相關
- 專案
- 專案
- 專案
- 專案
- 專案