vibe-mathematics：DeepSeek Harness 的多代理数学求解与验证 DSH plugin

它是做什么的？

Vibe Mathematics 是 DeepSeek Harness（DSH）的多代理数学问题求解与形式化验证插件，提供四个 agent preset（vibe-math-v1 至 v4），用多代理协作自动求解数学问题并对结论做交叉验证。它解决单代理求解数学问题易卡死、结论缺乏可信度的问题，让你在 DSH 里直接以自然语言驱动多代理完成从探索、迭代到验证、沉淀的完整闭环。核心能力包括断点续跑、中途人工干预、进度汇报，以及四代不同的求解架构，其中 v2 与 v3 为主推，v4 为实验性的常驻自组织合作研究架构。

核心功能

• 多代理协作求解：Explorer 拆解方向、Solver 多轮迭代、Verifier 独立审查并辩论裁决，结论经交叉验证后写入 Verified/。
• 四代架构可选：v1 经典流水线（将弃用）、v2 概率驱动 JSON 数据层、v3 论文式 md + 规划代理 + 方法库、v4 常驻自组织合作研究，按需选择。
• 断点续跑与人工干预：全程状态落盘，支持 resume 续跑，manual 模式在派发/裁决/晋升处挂起人工决策。
• 知识沉淀体系：命题、方法、子问题等分别存入 Propos/、Methods/、Subproblems/ 等库，可复用。
• 自然语言驱动：以自然语言描述问题即可启动求解流程，无需编程。

怎么使用这个插件？

在 DSH 中安装插件后，预设选择器会出现四个 agent preset，选择 vibe-math-v2 或 v3（主推）即可开始。输入数学问题后，插件会自动调度多代理完成求解与验证；需要调整时，可在配置中修改概率阈值、并行度等参数，或通过 manual 模式在关键节点介入决策。v4 为实验性，适合探索常驻自组织研究场景。