DeepSeek Harness 插件Manifest 有效

Vibe-Mathematics

用于 DeepSeek Harness 的多智能体数学求解与形式化验证预设插件包。

开发者工具安全与策略Skills 与工作流远程执行

36GitHub Stars3Fork 数更新于2026-10-13

源码

安装

$ dsh plugin --profile <你的 profile> add dsh-vibe-math@<版本>

插件能力与用途

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

源码有据

dsh-vibe-math（Vibe Mathematics）是适用于 DeepSeek Harness 的插件合包，一次性安装即可交付四个不同架构的预设（v2、v3、v4、v5），支持多代理数学求解、Lean 4 形式化验证、断点续跑与自动学术论文归档。

核心能力

一键安装四个求解预设：v2（经典概率/JSON 驱动）、v3（论文式 md/规划代理）、v4（常驻自组织协作）、v5（研究所院士分派与共识表决）
集成 Lean 4 形式化验证通道，提供 off/encourage/require 三档门禁与后台异步编译
问题收口时自动撰写 Markdown/LaTeX 论文并可选编译为 PDF
支持会话隔离、断点续跑、文件写锁与项目锁机制
支持调用 Python、Julia、R 等多种外部数学计算引擎并落盘归档计算凭证

适用场景

基于多智能体辩论与严格交叉审阅的复杂数学问题自动化求解
命题与引理的 Lean 4 形式化证明生成与跨项目定理库沉淀
自动化撰写整理数学求解过程与证据链的学术论文

适合谁

使用 DeepSeek Harness 进行数学探索与形式化证明的研究人员
需要多代理自组织规划与表决共识工作流的开发者

文档中可确认的限制

DSH 插件安装与更新依赖宿主环境已安装可用的 pnpm
插件未内置 Lean 编译器与 LaTeX 工具链，需宿主环境单独提供
Lean 通过仅代表通过内核检查，命题忠实性仍需人工或多代理交叉核对

DSH 兼容性

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

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

安全信号

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

依赖数量

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

信息

已声明 DSH Bundle

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

信息

已声明许可证

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

信息

已获取 package.json

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

信息

源码可用

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

信息

来源与 Registry 记录

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

源码仓库: ChongCyrus/Vibe-Mathematics
Registry 来源: GitHub · dsh-plugin topic
Registry 分类: Plugin Bundle
源码检查: 90f82fb · 2026-10-13

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

仓库活跃度

GitHub Stars: 36GitHub stars
Fork 数: 3
未关闭 Issue: 9
最近提交: 2026-10-13
最近发布: 2026-10-05