math-rigor
DeepSeek Harness (DSH) 的 `math-rigor` 插件旨在通過本地工具和腳本擴展智能體能力，解決數學證明中的“幻覺”問題。該插件依賴 Python 環境，提供 23 個 MCP 工具（涵蓋邏輯檢查、驗證器、符號運算及數論），並內置 `/prove` 工作流，對數學證明過程進行結構化、可審計的處理。插件在安全性上嚴格隔離輸入，僅執行經過解析的數學表達式，確保推理的可信度。
閱讀全文dsh-math-rigor: 本地可審計的數學證明工具鏈
`dsh-math-rigor` 是 DeepSeek Harness (DSH) 的一個插件化架構組件，旨在通過本地 MCP 服務器和內置 Skill，爲 AI 推理提供自動化、可審計的數學證明能力。該插件支持 `/prove` 和 `/audit-proof` 兩條 slash 命令，能執行從策略制定到機器審計的六階段證明流程。它依賴 Python、SymPy、Z3 等本地工具，確保推理過程完全離線且安全，嚴格限制輸入執行，適用於需要高可信度數學推導的智能體開發場景。
閱讀全文DeepSeek Harness 插件介紹：dsh-alphasolve
`dsh-alphasolve` 是 DeepSeek Harness (DSH) 的一款工作流插件，旨在自動化處理複雜數學證明。用戶需配置 Python/SymPy 環境並安裝插件，隨後將問題放入 `problem.md` 文件，發送特定提示詞並點擊 AlphaSolve 按鈕即可啓動多任務並行求解與驗證。該工具雖能輔助開發候選解，但需用戶自行審查邏輯正確性，且過程可能耗時較長。
閱讀全文