DeepSeek Harness 插件Manifest 有效

Vibe-Mathematics

面向 DeepSeek Harness 的多代理数学问题求解与形式化验证框架插件包。

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

43GitHub Stars3Fork 数更新于2026-10-25

源码

安装

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

插件能力与用途

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

源码有据

Vibe Mathematics 是专为 DeepSeek Harness 打造的多代理数学问题求解与形式化验证框架插件包。该包基于 Cordis 补丁规范打包，一次性提供四代代理预设（v2 概率驱动、v3 论文式规划代理、v4 常驻自组织研讨、v5 研究所层级架构），支持多代理审查辩论裁决、Lean 4 形式化验证、数学计算引擎调用以及结题论文自动撰写与排版。

核心能力

一键为 DeepSeek Harness 注入四套代理预设：vibe-math-v2、vibe-math-v3、vibe-math-v4 和 vibe-math-v5
提供由独立审稿人、结构化辩论与一致性共识门禁组成的多代理交叉验证流程
集成 Lean 4 形式化验证通道，支持后台异步编译与代码忠实性核对
支持 Python、R、Julia、Octave 等多种数学计算引擎的有界调用与归档
收口时自动产出包含 Markdown、LaTeX 和 PDF 的完整论文报告
具备完整的断点续跑、状态加固持久化与中途人工干预审批能力

适用场景

复杂数学难题的多方向自动拆解、定理证明与猜想探索
结合 LLM 多代理协作与 Lean 4 内核机器核对的形式化证明研究
模拟学术研究所层级分派、成员雇佣与多轮同行评议的学术推理工作流
自动将多代理求解和形式化验证记录整理排版为学术论文

适合谁

探索自动定理证明与形式化数学的研究者与数学工作者
在 DeepSeek Harness 上搭建复杂多代理协作推理流程的开发者
需要高可信度多代理交叉验证与计算引擎辅助的科研人员

文档中可确认的限制

框架不自带 Lean 编译器与依赖工具链，执行形式化测试需宿主环境已安装 Lean
编译生成 PDF 最终论文依赖宿主环境中已安装的 LaTeX 引擎（如 xelatex 或 pdflatex）
多代理一致性与形式化代码仅保证内核通过，仍需人工或代理审查 Lean 命题与原文的忠实性
通过 DSH 命令行安装或升级本插件依赖宿主系统具备可用的 pnpm 命令

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
源码检查: fc18e32 · 2026-10-25

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

仓库活跃度

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