前言¶

在 DeepSeek Harness（DSH）里做数学类任务，常见做法是单会话让模型直接推导。推导链条一长，中间步骤难以复核；结论一旦写进笔记，也很难区分「已验证」与「待商榷」。若要把探索、求解、审查拆成可恢复的工作流，往往还得自己编排子代理、落盘状态和验证流程。

下面介绍社区插件 Vibe Mathematics（chongcyrus/vibe-mathematics）。它把多代理协作、交叉验证和知识沉淀封装成一组 agent preset，安装后可在 DSH 预设选择器里直接选用，用自然语言驱动整套流程。

这是什么¶

Vibe Mathematics 是由维护者 ChongCyrus 发布的 DSH 工作流插件，npm 包名为 dsh-vibe-math，当前版本 1.4.1，采用 MIT 许可证。项目在 GitHub 上有 9 个 star。

插件定位是「多代理数学问题求解与形式化验证框架」：一次安装会写入四个 agent preset——vibe-math-v1、vibe-math-v2、vibe-math-v3、vibe-math-v4。四代架构共享断点续跑、中途人工干预、进度汇报和自然语言驱动等底座能力，但求解与调度方式不同。

• vibe-math-v1（经典流水线）：将弃用，不建议新项目使用。
• vibe-math-v2（概率驱动 · JSON 数据层）：主推，适合偏好结构化 JSON 与确定性调度的场景。
• vibe-math-v3（论文式 Markdown + 规划代理 + 方法库）：主推，适合需要可读知识库、规划调度与方法沉淀的场景。
• vibe-math-v4（常驻自组织合作研究）：实验性，由持久化常驻子代理自主分工与验证。

核心功能¶

多代理自动求解与交叉验证¶

v1/v2/v3 由主代理接收自然语言需求，代码调度器派发 explorer、solver、verifier 等子代理协同工作；v3 额外引入规划代理（Planner）和方法整理代理（Method Keeper）。每个待验证结论会交给至少 3 个独立验证器：独立审查 → 辩论 → 裁决。v3 默认采用近共识裁决（同侧且均值 ≥0.85 或 ≤0.15 时取均值），以减少高置信分歧被误判为不确定的情况。

四代架构的数据与调度差异¶

v2 以 qs.json 问题清单和 Propos/ 命题库为核心，按优先级与概率做启发式调度；验证通过后概率收口为 1，结论进入 Verified/。

v3 将全部知识以 Markdown 论文/研究报告式存储：Problems/（问题清单与依赖）、Progress/（研究日志）、Propos/（命题库）、Methods/（通用理论发明库）、Verified/（绝对可信）。调度前由规划代理一次性安排接下来 N 步动作；规划失败时自动回退 v2 式启发式。求解过程中上报的 methods_used / new_inventions 由 Method Keeper 沉淀为可复用方法卡。

v4 去掉中央规划器与固定角色，改为 N 个持久化常驻子代理互相留言、开会，自主决定任务安排。验证仅当全体常驻对 verdict 给出一致结论（全体为 1 或全体为 0）时才写入 Verified/；否则保留在库中并附概率。上下文占比达阈值（默认 66%）时触发 /compact；仅当全体一致认为原问题已解决才停止。

工程化能力¶

• 断点续跑：调度状态、任务栈、代理注册表等落盘，重启后通过 vibe_math_resume 或 vibe_v4_resume 恢复。
• 中途人工干预：支持 auto / manual 模式切换；manual 模式下在关键节点挂起等待 approve/reject/override；v3 另有计划审批门与方法晋升门。
• 按项目隔离：每个数学问题对应独立项目文件夹，可随时切换。
• 多会话并行隔离：插件按根会话 id 隔离运行状态，不同会话可同时跑不同项目（v3 对同一项目有项目锁）。
• 可配置：通过 vibe_math_setting.json 或 /vibe setup 交互式配置参数；v4 参数持久化在 State/settings.json。

安装与启用¶

插件可通过 npm 包或 GitHub 源安装。将 <你的 profile> 替换为实际 DSH profile 名称（例如 web）：

dsh plugin --profile <你的 profile> add dsh-vibe-math

或从 GitHub 直装：

dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics

安装完成后，预设会写入 ~/.dsh/.agent-presets/，DSH 预设选择器里会出现四个 Vibe Math 预设。升级包版本可用：

dsh plugin update dsh-vibe-math

升级后需重启 DSH；未被手动修改的 preset 文件会自动更新到新版本。

版本依赖：项目已在 dsh-v0.1.1-rc.2 上充分测试（minVersion 为 0.1.0-rc.7）。v3 需要 DSH 0.1.1 起的 fs API 形状。安装器启动时会做能力自检，不满足条件时会在日志中给出 warning。

典型用法¶

自然语言驱动（v2/v3）¶

主代理内置使用说明，可直接用自然语言描述目标。以证明 √2 是无理数为例：

帮我用 Vibe Math 证明 √2 是无理数。

主代理会依次调用 vibe_math_add_problem 加题、vibe_math_start 启动调度。之后可随时询问进度：

现在进展怎么样了？

主代理会调用 vibe_math_status / vibe_math_report 并用人话汇报。

若需精确控制，也可直接调用工具或使用斜杠命令 /vibe start|resume|pause|abort|status|report|mode 等（v3 另有 methods|index|plan|lock）。

v4 配置与启动¶

v4 将项目配置与启动分离。先用 vibe_v4_configure 建项目并设置参数（不唤醒常驻），再用 vibe_v4_start 启动：

vibe_v4_configure {"project":"sqrt2","problem":"证明：√2 是无理数。"}
vibe_v4_start

日常调控可用 /v4 命令及 vibe_v4_* 工具集（如 vibe_v4_message、vibe_v4_resume、vibe_v4_set）。

参数与模式切换¶

问答式配置示例：

帮我配置一下参数。

主代理会调用 vibe_math_setup 获取参数 schema，逐项询问后通过 vibe_math_set_params 应用。也可直接说：

切到人工模式，我要在每个关键节点把关。

主代理会执行 vibe_math_set_mode {"mode":"manual"}，之后在关键节点通过 vibe_math_list_decisions 列出待决事项，由你 approve / reject / override。

怎么选预设¶

v2 与 v3 共享同一套 vibe_math_* 工具与 /vibe 命令，切换成本较低。v4 使用独立的 vibe_v4_* 工具与 /v4 命令。

适用场景与注意¶

适合谁

• 需要在 DSH 里把数学探索做成可恢复、可审查的多步骤工作流。
• 希望用多代理交叉验证降低单模型推导的错误率。
• 偏好将中间产物（命题、研究日志、方法卡）沉淀为项目内知识库，而非一次性对话输出。

使用前注意

1. 插件以当前 DSH 进程的权限运行，子代理可读写工作区文件、调用已授权工具。安装前应阅读 GitHub 源码 与 MIT 许可证，确认符合你的安全要求。
2. v3 中只有 Verified/ 与验证器判真/假的对象绝对可信；其余 Markdown（含方法库未验证断言）仅作经验参考。
3. v4 为实验性架构，验证口径更严（须全体一致），停止条件也更保守（须全体认为已解决）。
4. 多代理并行会消耗较多 token 与 API 配额；可通过 maxParallelThreshold、verifierCount 等参数控制并发与验证强度。
5. SkillHub（目录页）是独立的 DSH 插件社区站点，与 DeepSeek / 幻方无官方从属关系；安装与版本信息以项目 README 与 npm 页面为准。

结尾¶

Vibe Mathematics 把「探索 → 求解 → 交叉验证 → 知识沉淀」封装成可安装的 DSH 工作流，提供 v2/v3 两条成熟主线与 v4 实验线路，并支持断点续跑与人工干预。若你正在 DSH 里处理需要可追溯、可复核的数学问题，可以按场景选用对应预设试用。

• 目录页：https://www.skillhub.cn/plugins/ChongCyrus/Vibe-Mathematics
• GitHub：https://github.com/ChongCyrus/Vibe-Mathematics
• npm：https://www.npmjs.com/package/dsh-vibe-math