math-rigor

DeepSeek Harness (DSH) 的 `math-rigor` 插件旨在通过本地工具和脚本扩展智能体能力，解决数学证明中的“幻觉”问题。该插件依赖 Python 环境，提供 23 个 MCP 工具（涵盖逻辑检查、验证器、符号运算及数论），并内置 `/prove` 工作流，对数学证明过程进行结构化、可审计的处理。插件在安全性上严格隔离输入，仅执行经过解析的数学表达式，确保推理的可信度。