DeepSeek Harness 插件Manifest 有效

dsh-alphasolve

用于 DeepSeek Harness 的 AlphaSolve 会话级数学推理与证明工作流插件。

UI 与效率终端与 TUI开发者工具浏览器与 Web安全与策略Skills 与工作流远程执行

5GitHub Stars1Fork 数更新于2026-10-17

源码

安装

当前仓库证据中未发现明确安装命令。

插件能力与用途

基于公开仓库快照由 AI 辅助整理，内容必须有源码依据；它不等同于兼容性验证或安全验证。

源码有据

dsh-alphasolve 将 AlphaSolve 推理流程整合到 DeepSeek Harness 中，用于解决复杂的数学问题。它在会话工作区内并行生成候选证明、执行独立校验并迭代修正，最终将通过检验的解答输出为 solution.md。

核心能力

执行多智能体数学题目求解与候选证明生成工作流
针对候选解法进行独立逻辑校验与自动化迭代修正
提供专用界面监控求解进度并查阅参与智能体的执行记录
根据工作区内的题目定义自动输出最终解答文件

适用场景

在 DeepSeek Harness 工作区中探索和验证数学证明
结合 SymPy 与大语言模型进行多步骤符号计算与数学推理
观察和实验多智能体相互验证与审阅的推理链路

适合谁

使用 DeepSeek Harness 进行数学推导的研究人员与学生
探索 AI 辅助复杂数学解题与形式化验证的开发者
需要多智能体协作推理工作流的 DSH 用户

文档中可确认的限制

需要额外完成一次性 Python 与 SymPy 环境配置
自动校验无法百分之百保证数学证明的严谨正确性，仍需人工复核
多智能体并行迭代求解可能产生较高的模型 Token 消耗与运行耗时

DSH 兼容性

DSH Plugin 针对具体版本记录的运行验证证据。没有结果只代表我们尚未测试，不代表不兼容。

尚未测试目前还没有发布运行兼容性测试结果。

安全信号

来自包元数据和源码检查的客观信号。这些信息用于辅助判断，不代表绝对安全保证。

依赖数量

package.json 声明了 2 个运行依赖、51 个开发依赖、13 个 Peer 依赖和 0 个可选依赖。

信息

已声明 DSH Bundle

package.json 中声明了 DSH Bundle 元数据。

信息

已声明许可证

GitHub 报告该仓库许可证为 MIT。

信息

已获取 package.json

已获取仓库根目录 package.json，可用于 Registry 元数据检查。

信息

源码可用

本次 Registry 快照已获取公开 GitHub 源码元数据。

信息

来源与 Registry 记录

展示此条目的公开来源、Registry 分类与最近一次源码检查信息，并与运行验证结果明确分开。

源码仓库: dxww123/dsh-alphasolve
Registry 来源: GitHub · dsh-plugin topic
Registry 分类: Plugin
源码检查: 3d98e67 · 2026-10-17

本页面基于公开源码信息独立收录。DSH Plugin 与 DeepSeek 及插件作者均无隶属关系；安装前请始终以作者仓库中的最新说明为准。

仓库活跃度

GitHub Stars: 5GitHub stars
Fork 数: 1
未关闭 Issue: 0
最近提交: 2026-10-17
最近发布: 未发现 Release