DeepSeek Harness 插件介绍：dsh-alphasolve

前言¶

在处理复杂的数学证明时，通常需要开发候选解、独立检查正确性，并反复修订。DeepSeek Harness (DSH) 插件 dsh-alphasolve 为 DSH 的会话引入了 AlphaSolve 工作流，旨在自动化这一过程。

插件概况¶

• 插件名称：dsh-alphasolve
• 类型：工作流
• 维护者：dxww123
• 许可证：MIT
• 核心价值：解决困难数学问题，开发候选证明，独立检查证明，并修订证明。

安装与启用¶

安装该插件需要 DeepSeek Harness Desktop 0.2.0-rc.2。虽然桌面版自带 Python，但安装插件本身不会安装 SymPy，需完成一次性的 Python/SymPy 配置。

1. 打开插件管理器。
2. 选择 Add plugin（添加插件）。
3. 输入 dsh-alphasolve 并安装。
4. 完成 Python/SymPy 设置文档 中描述的一次性配置。

注意：如果你已经安装了旧的 @dsh-external/dsh-alphasolve 包，请在安装新版本前将其替换。

典型用法¶

1. 创建一个文件夹，将问题放入 problem.md 文件中。可以添加 hint.md 提供思路或参考资料。
2. 在 DSH 中打开该文件夹作为工作区。
3. 在 standard 模式下开始对话。
4. 发送提示词：
   > Use AlphaSolve to solve the problem in problem.md.
5. 点击对话顶部的 AlphaSolve 按钮，即可查看进度并查看各参与者的工作记录。

注意事项¶

• 正确性保障：自动检查并不保证证明的正确性，请务必自行审查数学逻辑。
• 成本与耗时：重复检查过程可能很长，且会产生大量的模型费用。
• 并发设置：默认为 2 个并行求解任务。
• 版本兼容性：npm 安装指令适用于 dsh-alphasolve@0.4.0 和 DSH 0.2.0-rc.2；当前源码 checkout 目标为 DSH 0.2.1-alpha.2。

总结¶

dsh-alphasolve 将 AlphaSolve 工作流集成到 DeepSeek Harness 中，为处理困难数学问题提供了结构化的工具。

• 目录页：https://www.skillhub.cn/plugins/dxww123/dsh-alphasolve
• 源码地址：https://github.com/dxww123/dsh-alphasolve