math-rigor

DeepSeek Harness (DSH) 的 `math-rigor` 插件旨在通過本地工具和腳本擴展智能體能力，解決數學證明中的“幻覺”問題。該插件依賴 Python 環境，提供 23 個 MCP 工具（涵蓋邏輯檢查、驗證器、符號運算及數論），並內置 `/prove` 工作流，對數學證明過程進行結構化、可審計的處理。插件在安全性上嚴格隔離輸入，僅執行經過解析的數學表達式，確保推理的可信度。