dsh-vibe-math

dsh plugin --profile web add dsh-vibe-math

Vibe Mathematics — 多代理数学问题求解与验证框架（四架构）

[English](README.en.md) | 中文




运行在 DeepSeek Harness 内的一组 agent preset（vibe-math-v2 / vibe-math-v3 / vibe-math-v4 / vibe-math-v5），

用多代理协作自动求解数学问题并对结论做多代理交叉验证。四个预设共享「断点续跑、

中途人工干预、进度汇报、自然语言驱动」底座能力，但采用四代不同的求解架构：

💡 v4/v5 优先——vibe-math-v4（「常驻自组织合作研究」架构）与 vibe-math-v5（最新的「研究所体系」）是当前主要维护方向；vibe-math-v2 与 vibe-math-v3 是经典/早期架构，已成熟定型，今后只做适配兼容维护（新能力只进 v4/v5）。四套都随包安装、可正常使用；详见 [docs/maintenance-policy.md](docs/maintenance-policy.md)。根据你的实际需求自行选择（详见下方「怎么选」）。

- vibe-math-v2（概率驱动 · JSON 数据层）· 经典：qs.json 问题清单 + Propos/ 命题库 + 概率驱动调度 + 代码启发式调度；

- vibe-math-v3（第三代 · 论文式 md + 规划代理 + 方法库）· 经典：全部知识以 Markdown 论文/研究报告式 存储与续写（Problems/ 问题清单+依赖+来源动机、Progress/ 研究日志、Propos/ 命题库、Methods/ 通用理论发明库、Verified/ 绝对可信）；调度前由规划代理自主制定接下来 N 步计划；解决过程中发明的理论/框架/工具/方法/思想由 Method Keeper 沉淀为可复用方法体系（如发明群论、泛函分析那样）。

- vibe-math-v4（第四代 · 常驻自组织合作研究）🧪 实验性：一组持久化常驻子代理互相留言 + 开会，自主决定一切任务安排（无中央调度）；各自沉淀进度/命题/方法/子问题库并互相查阅；验证仅当全体常驻一致（真 或 假）才写入 Verified/，否则留库附概率；上下文达阈值自动 /compact；仅当全体一致认为原问题已解决才停止。

- vibe-math-v5（第五代 · 研究所体系）🧪 实验性 · 最新：把常驻升级为一座研究所——院士（领头人 / 组织与协调中心，负责拆解与分派、定优先级、主持会议、督导进度）+ 常驻研究员（有表决权，可自主雇佣/解雇自己的临时工）+ 临时工（无表决权）；有公共规章、群聊与会议、compare-and-set 任务板、真实解雇；≥ m 票布尔一致才写入 Verified/（反向票阻塞、弃权不计票、未达门槛留库附平均概率）；状态存于研究所目录下的加固 JSON State/<研究所>.v5state.json（串行写、读前必 load），不写入宿主会话日志，零 token 成本。

安装本插件包（或手动复制预设）后，DSH 的预设选择器里会出现四个 agent preset。

---

🧭 导航：我想要……→ 从这里开始

• 马上开始用（第一次跑） → [5 分钟上手](#-5-分钟上手)
• 四个预设选哪个 → [四个预设怎么选](#-四个预设怎么选)
• 四套架构的定位、流程与分工 → [架构图](#-架构图v2--v3--v4--v5) · [架构与分工（四套并列）](#-架构与分工四套并列)
• 新功能：最终论文（收口时自动产出） → [功能特色](#-功能特色) · [完整契约](docs/final-paper.md)
• Lean 形式化验证 → [Lean 形式化验证](#-lean-形式化验证四个架构共用可调开关) · [完整契约](docs/formal-verification.md)
• 可观测面（status() / report() 字段与作用域） → [完整字段表](docs/status-report-fields.md)
• 目录里都有什么 → [目录结构](#-目录结构)
• 调参数 → [参数速查表](#-参数速查表)
• 断点续跑 / 中途干预 → [断点续跑 & 人工干预](#-断点续跑--人工干预两大硬性需求)
• 已知边界（有意简化） → [已知边界](#-已知边界有意简化)

---

🧩 架构图（v2 + v3 + v4 + v5）

静态架构图；完整流程说明见 [docs/架构图.md](docs/架构图.md)（v1 历史架构图；v2 起目录布局已变更）与

[vibe-math-v5/架构图.md](vibe-math-v5/架构图.md)（v5 全套细节图）；

可编辑生成脚本：中文 v2/v3 海报由 matplotlib 脚本生成 [v2](docs/generate_framework_diagram_v2.py) / [v3](docs/generate_framework_diagram_v3.py)（matplotlib → PNG）；

英文版 v2/v3 由零依赖 Node 脚本生成 [v2-en](docs/generate_framework_diagram_v2_en.mjs) / [v3-en](docs/generate_framework_diagram_v3_en.mjs)（→ SVG）；

[v4](docs/generate_framework_diagram_v4.mjs) / [v5](docs/generate_framework_diagram_v5.mjs)

（零依赖 Node → SVG，node docs/generate_framework_diagram_v4.mjs，加 --lang=en 生成英文版 示例图/框架图-v4-en.svg）。

v4 起改用 SVG：纯文本、diff 友好、任意缩放不糊；需要 PNG 时用无头浏览器截图（命令见生成脚本头部）。

Vibe Math V2（概率驱动 · JSON 数据层）· 经典

一句话流水线：qs.json 按优先级取问题 → Explorer 拆方向（全死路则重派生）→ 每方向一个 Solver 多轮迭代（引理进 Propos/、解法回 qs.json，概率均 <1）→ 调度器选 r（命题 / 命题+证明·证伪 / 问题+解法）派 ≥3 验证器独立审查→辩论→裁决 → 概率=1 自动收口（问题 solved、命题 1/0，优先级置 never）；全程状态落盘，resume 断点续跑，reportMode 可 file/push/both 汇报。

Vibe Math V3（论文式 md + 规划代理 + 方法库）· 经典

一句话流水线：全部知识以 Markdown 论文/研究报告式存储与续写（Problems/ 问题清单含依赖/后生问题来源动机、Progress/ 研究日志按方向按轮续写、Propos/ 命题库、Methods/ 通用理论发明库、Verified/ 绝对可信）→ 调度前调度器构造状态简报并调用规划代理，规划代理一次性安排接下来 N 步（spawn solver/verifier/explorer/method-keeper、interrupt、promote、wait），代码校验后执行（超出并发的动作排队跨 tick 消费；规划失败自动回退 v2 式启发式）→ 验证器独立审查→辩论→近共识裁决（同侧且均值 ≥0.85/≤0.15 取均值，修复 v2 flat 误判）→ 概率=1 收口并生成 Verified/ 卡 → 求解器的 methods_used/new_inventions 上报由 Method Keeper 沉淀/完善方法库（可组成体系层级、跨项目复用）。

Vibe Math V4（常驻自组织合作研究）🧪 实验性

上面这张 SVG 由零依赖脚本生成：node docs/generate_framework_diagram_v4.mjs（纯 Node、无 Python/matplotlib 依赖；

生成时会估算文字宽度，任何一行溢出容器都会告警并以退出码 1 结束）。

一句话流水线：起始产生 N 个常驻子代理（continuable，持久上下文）先各自头脑风暴、产出初始见解/方向 → 此后所有任务安排由它们互相留言 + 集体开会自主决定（框架只做消息总线/会议/任务板/产物沉淀，绝不分配任务）；每个常驻把有价值的产物按价值程度 / 动机用途计划 / 自身概率估计沉淀到自己的 Progress/<id>/、Propos/<id>/、Methods/<id>/、Subproblems/<id>/ 库，并可互相阅读；验证由它们自行商议发起，仅当全体常驻一致（真或假）才写入 Verified/，否则留库附概率；常驻上下文量达阈值（默认 66%）自动 /compact；仅当全体一致认为原问题已解决才停止；可随时人工干预/增开/关闭常驻，支持断点续跑。

说明：V4 去掉 v3 的中央规划器与确定性角色（explorer/solver/verifier/planner/method-keeper），把"研究者"本身作为主体。详见 vibe-math-v4/实现方案.md。

保活机制（分级保活 A+B + 死锁看门狗）：团伙空闲超 activityTimeoutMs 会收到自驱动 CHECKPOINT（建议继续解决/发消息/提议任务，而非"是否要停止"），且并行填充——A 分支一次尽量填满 maxParallel 并发预算（同一时刻唤醒多个空闲常驻，而非"只唤醒 r1、结束后再 r2"的串行），邮箱投递也并行送达多个空闲收件人；唤醒失败会自动重新武装心跳；若团队空闲且无新产物超过 stallAutoMeetingMs（默认 6 分钟），框架会自动召集一次同步会议让常驻们自行决定下一步；若某次会议/验证卡死（超过 2×activityTimeoutMs 仍无新的发言/投票），框架会自动放弃该会议/验证并回到正常自组织，避免一个坏掉的会议永久卡住整个团队；会议不抢占验证——验证进行时会议请求会暂存，验证做完再补开（保持一致共识的"求真"环节不被协调讨论打断）——框架始终只促成、从不指派任务。

---

Vibe Math V5（研究所体系）🧪 实验性 · 最新

一句话定位：把 v4 的"一群互相留言的常驻"升级为一座研究所——有院士（领头人）、常驻研究员、

临时工三类职员，有所内公共规章，有群聊与会议，有自主雇佣/解雇，并且

任何结论都必须由至少 m 名有表决权者一致给出布尔概率 1 或 0 才能写入 Verified/。

图源与全部细节图（成员生命周期、一轮时序、共识状态机、会议流程、调度优先级、状态折叠、

提示词构成、任务板、职权矩阵）：[vibe-math-v5/架构图.md](vibe-math-v5/架构图.md)。

上面这张 SVG 由零依赖脚本生成：node docs/generate_framework_diagram_v5.mjs。

flowchart TB
    OFF["👤 所办（会话根代理 / 人）<br/>不研究 · 不投票 · 只汇报与转达指令"]
    subgraph INST["🏛️ 研究所（所内自治：编制、组织与分派都在成员之间完成）"]
        ACAD["院士 acad —— 领头人 / 组织与协调中心<br/>L1 全所视图 · L2 分派 · L3 优先级<br/>L4 主持会议 · L5 督导 · L6 调人 · L7 对外"]
        RES["常驻研究员 r-n<br/>有表决权 · 可自主雇佣/解雇自己的临时工"]
        TMP["临时工 t-n<br/>无表决权 · 为特定任务临时雇入"]
    end
    subgr

…(truncated)