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 按钮即可启动多任务并行求解与验证。该工具虽能辅助开发候选解，但需用户自行审查逻辑正确性，且过程可能耗时较长。
阅读全文