dsh-vibe-math 0.3.18 → 0.3.20
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +392 -392
- package/installer.js +2 -2
- package/package.json +55 -54
- package/vibe-math-v1/vibe-math.js +692 -692
- package/vibe-math-v1//345/256/236/347/216/260/346/226/271/346/241/210-/345/244/232/344/273/243/347/220/206/346/225/260/345/255/246/351/227/256/351/242/230/346/261/202/350/247/243/344/270/216/351/252/214/350/257/201/346/241/206/346/236/266.md +161 -161
- package/vibe-math-v2/v2/347/232/204/351/242/235/345/244/226/350/246/201/346/261/202.txt +22 -0
- package/vibe-math-v2/vibe-math-v2.js +1452 -1449
- package/vibe-math-v2//345/256/236/347/216/260/346/226/271/346/241/210.md +183 -183
package/README.md
CHANGED
|
@@ -1,392 +1,392 @@
|
|
|
1
|
-
# Vibe Mathematics — 多代理数学问题求解与验证框架（双架构）
|
|
2
|
-
|
|
3
|
-
[](https://www.npmjs.com/package/dsh-vibe-math)
|
|
4
|
-
[](https://opensource.org/licenses/MIT)
|
|
5
|
-
[](https://github.com/ChongCyrus/Vibe-Mathematics)
|
|
6
|
-
|
|
7
|
-
> 运行在 **DeepSeek Harness** 内的一组 **agent preset**（`vibe-math-v1` / `vibe-math-v2`），
|
|
8
|
-
> 用多代理协作自动求解数学问题并对结论做多代理交叉验证。两个预设共享「**断点续跑**、
|
|
9
|
-
> **中途人工干预**、**进度汇报**、**自然语言驱动**」三大底座能力，但采用两套不同的求解架构：
|
|
10
|
-
>
|
|
11
|
-
> - **`vibe-math-v1`（经典流水线）**：「广度探索 → 深度迭代 → 交叉验证 → 知识沉淀」闭环；
|
|
12
|
-
> - **`vibe-math-v2`（新架构 · 概率驱动）**：`qs.json` 问题清单 + `Propos/` 命题库 + 概率驱动调度。
|
|
13
|
-
|
|
14
|
-
安装本插件包（或手动复制预设）后，DSH 的预设选择器里会出现**两个** agent preset。
|
|
15
|
-
|
|
16
|
-
---
|
|
17
|
-
|
|
18
|
-
## 🧩 架构图（v1 + v2）
|
|
19
|
-
|
|
20
|
-
> 静态架构图；完整流程说明见 [docs/架构图.md](docs/架构图.md)；可编辑生成脚本：[v1](docs/generate_framework_diagram.py) / [v2](docs/generate_framework_diagram_v2.py)。
|
|
21
|
-
|
|
22
|
-
### Vibe Math V1（经典流水线）
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
**一句话流水线**：`qs.csv` → Brainstorm 拆方向 → 每方向一个 Solver 多轮迭代（卡死则 Derive 派生新方向）→ 输出拆成最小验证单元 → ≥3 个 Verifier 独立审查 → 辩论 → 裁决 → 通过晋升 `Verified/` → Decider 回写 `qs.csv`；全程状态落盘 `VibeMath_State/`，`resume` 断点续跑，`manual` 模式在派发/裁决/晋升处挂起人工决策。
|
|
27
|
-
|
|
28
|
-
### Vibe Math V2（新架构 · 概率驱动）
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
**一句话流水线**：`qs.json` 按优先级取问题 → Explorer 拆方向（全死路则重派生）→ 每方向一个 Solver 多轮迭代（引理进 `Propos/`、解法回 `qs.json`，概率均 <1）→ 调度器选 r（命题 / 命题+证明·证伪 / 问题+解法）派 ≥3 验证器独立审查→辩论→裁决 → 概率=1 自动收口（问题 solved、命题 1/0，优先级置 `never`）；全程状态落盘，`resume` 断点续跑，`reportMode` 可 file/push/both 汇报。
|
|
33
|
-
|
|
34
|
-
---
|
|
35
|
-
|
|
36
|
-
## ✨ 功能特色
|
|
37
|
-
|
|
38
|
-
- **多代理自动求解**：主代理把问题交给调度器，调度器派发 brainstorm / solver / verifier / decider（v1）或 explorer / solver / verifier（v2）等子代理协同求解，**你无需逐节点手操**。
|
|
39
|
-
- **多代理交叉验证**：每个结论交给 ≥3 个「严苛审稿人」**独立审查 → 辩论（交流群）→ 裁决**。
|
|
40
|
-
- **知识沉淀**：验证通过的结论晋升进 `Verified/` 可信知识库（v2 另有 `Propos/` 命题库），供后续方向复用。
|
|
41
|
-
- **断点续跑**：调度状态、任务栈、代理注册表、决策队列、验证器历史准确率等全部落盘；重启后 `resume` 即可恢复（v2 用进程纪元区分"同进程暂停→恢复"与"跨进程重启"）。
|
|
42
|
-
- **中途人工干预（并继续）**：`auto / manual` 模式随时切换；manual 在关键节点挂起决策等你 approve/reject/override；可对任意子代理发消息 / 中断。
|
|
43
|
-
- **按项目隔离**：每个数学问题一个独立项目文件夹，互不干扰，可随时切换。
|
|
44
|
-
- **多会话并行隔离**：DSH 的 agent preset 是 standing mount（同一 preset 的所有会话共享一个插件实例），插件内部按**根会话 id** 隔离全部运行状态——两个会话可以同时各跑一个项目（如 A 会话跑项目 A、B 会话跑项目 B），各自的子代理会正确挂在自己会话名下，调度器 / 参数 / 决策队列 / 当前项目互不干扰。当前项目按会话分别持久化（`VibeMath/current.<会话id>.json`）。
|
|
45
|
-
- **子代理权限可调控**：可限制子代理允许/禁止的工具、每轮外部工具调用上限，并明确告知其可读 `Verified/`、`Propos/`、`Reliable/` 与进度日志。
|
|
46
|
-
- **可配置**：`vibe_math_setting.json`（含注释）自定义默认参数；`/vibe setup` 交互式问答配置。
|
|
47
|
-
- **自然语言控制**：主代理充当「助手 + 汇报者」，你把需求说成人话，它自己调用工具、汇报进度、配置参数。
|
|
48
|
-
|
|
49
|
-
---
|
|
50
|
-
|
|
51
|
-
## 🚀 安装
|
|
52
|
-
|
|
53
|
-
两种安装方式，任选其一（也可并存）：
|
|
54
|
-
|
|
55
|
-
### 方式 A：作为插件包一键安装（推荐，同时装出两个预设）
|
|
56
|
-
|
|
57
|
-
```sh
|
|
58
|
-
dsh plugin --profile <你的 profile> add dsh-vibe-math
|
|
59
|
-
# 或从 GitHub 直装：
|
|
60
|
-
dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
|
|
61
|
-
```
|
|
62
|
-
|
|
63
|
-
安装时插件会自动把两个 preset 写入 `~/.dsh/.agent-presets/`：`vibe-math-v1/` 与 `vibe-math-v2/`。
|
|
64
|
-
之后新建会话，预设选择器里选择 **Vibe Math**（v1）或 **Vibe Math V2**（v2）即可。
|
|
65
|
-
**升级包版本后重启 DSH，未手动改过的 preset 文件会自动更新到新版本**（细节见文末「v2」安装器说明）。
|
|
66
|
-
|
|
67
|
-
### 方式 B：作为 agent preset 手动安装
|
|
68
|
-
|
|
69
|
-
1. 把本仓库对应目录的文件复制到 preset 目录：
|
|
70
|
-
|
|
71
|
-
```
|
|
72
|
-
C:\Users\<你>\.dsh\.agent-presets\vibe-math-v1\ ← 复制 vibe-math-v1/ 下的 agent.cordis.yml / preset.yml / vibe-math.js
|
|
73
|
-
C:\Users\<你>\.dsh\.agent-presets\vibe-math-v2\ ← 复制 vibe-math-v2/ 下的 agent.cordis.yml / preset.yml / vibe-math-v2.js
|
|
74
|
-
```
|
|
75
|
-
|
|
76
|
-
2. 新建一个会话，在 preset 选择器里选 **「Vibe Math」** 或 **「Vibe Math V2」**。
|
|
77
|
-
3. 会话启动后即可使用：工具列表里会出现 `vibe_math_*` 工具，输入框键入 `/vibe` 有自动补全。
|
|
78
|
-
|
|
79
|
-
> 修改 preset 文件后需**重启 DSH 进程**再开新会话（preset 的 standing mount 会缓存到进程退出）。
|
|
80
|
-
|
|
81
|
-
### DSH 版本适配与依赖
|
|
82
|
-
|
|
83
|
-
- **形态依赖**：两个 preset 依赖 DSH 的标准 **agent-preset 机制**（`~/.dsh/.agent-presets/<id>/` + preset picker）与 **bundle patch 机制**（`cordis.patch.yml` 注入安装器）。
|
|
84
|
-
- **宿主插件行**：`agent.cordis.yml` 引用宿主提供的 `@deepseek-ai/dsh-*` 插件行（persona、agent-instructions、tool-bash/pwsh、tool-fs/fs-search、tool-jobs、skill-filesystem、tool-skill、tool-goal、plan-mode、compaction、subagent/workflow、ask-user、todo、web 等，约 21 个唯一包名）。宿主缺行会导致 preset 挂载失败（会话启动时报错）。
|
|
85
|
-
- **宿主服务 API**：预设插件消费 `subagents`（startContinuable / followup / interrupt）、`agents`（roots）、`tools`（register）、`commands`（register）、`fs`（resolve/stat/readText/writeText/listDir），可选 `subprocess` / `sandboxPolicy`。这些 API 形状随 DSH
|
|
86
|
-
- **运行时自检**：安装器（bundle 插件）每次启动时对上述服务与关键 API 做**能力自检**（DSH 不暴露版本号，故按能力而非版本检测）；不满足时打 warning 并提示升级 DSH。preset 挂载失败时先看 DSH 日志里的自检 warning。
|
|
87
|
-
- **升级路径**：DSH 升级后无需重装本包；升级本包用 `dsh plugin update dsh-vibe-math`，重启 DSH 后安装器会自动把 preset 更新到新版本（见上文「安装」说明）。
|
|
88
|
-
|
|
89
|
-
---
|
|
90
|
-
|
|
91
|
-
## 🧭 两个预设怎么选
|
|
92
|
-
|
|
93
|
-
| | **vibe-math-v1（经典）** | **vibe-math-v2（新架构）** |
|
|
94
|
-
|---|---|---|
|
|
95
|
-
| 核心思想 | 流水线：拆方向 → 逐方向求解 → 拆最小单元 → 多验证器辩论 → 晋升 `Verified/` | 概率驱动：`qs.json` 问题 + `Propos/` 命题库，按「正确概率 / 价值」调度求解与验证 |
|
|
96
|
-
| 数据 | `qs/qs.csv` + `Progress_Logs/` | `qs/qs.json` + `Propos/<分类>_Propos.json` + `Reliable/` |
|
|
97
|
-
| 角色 | brainstorm / solver / derive / verifier / decider | explorer（拆方向）→ 逐方向 solver → verifier（独立审查→辩论→裁决） |
|
|
98
|
-
| 收口规则 | 验证通过晋升 `Verified/`，decider 判定解决 | 解法/证明达概率 `1` 即收口（问题 solved、命题 1/0），`never` 永不调度 |
|
|
99
|
-
| 特设能力 | 子问题分支（Aux_Hypothesis） | 命题「价值/关键性」自动晋升问题清单；`reportMode file/push/both`；`priorityAdjust` 三种优先级策略 |
|
|
100
|
-
|
|
101
|
-
两者都支持：断点续跑（`vibe_math_resume`）、人工/自动模式切换、`vibe_math_*` 工具集与 `/vibe` 命令、按项目隔离、子代理权限调控。
|
|
102
|
-
|
|
103
|
-
---
|
|
104
|
-
|
|
105
|
-
## 🧠 架构与分工（v1 · 经典）
|
|
106
|
-
|
|
107
|
-
框架 = **一个主代理（助手）+ 一个代码调度器 + 五类子代理**。
|
|
108
|
-
|
|
109
|
-
| 角色 | 类型 | 职责 |
|
|
110
|
-
|---|---|---|
|
|
111
|
-
| **主代理** | LLM（会话里的那个助手） | **自然语言接口 + 汇报者 + 助手**。它**自己不求解、不调度**，只负责：把你的话翻译成 `vibe_math_*` 工具调用、汇报进展、问答式配置参数、执行调控命令。 |
|
|
112
|
-
| **调度器** | 插件代码（非模型） | 唯一主控：读 `qs.csv`、派发子代理、写文件、推进状态机。**所有调度靠编程，不靠代理**。 |
|
|
113
|
-
| **Brainstorm 子代理** | 子代理 | 元认知头脑风暴：约束分解、边界测试、相似问题映射，把问题拆成多个「大相径庭」的求解方向。 |
|
|
114
|
-
| **Solver 子代理** | 子代理 | 每个方向一个专属求解器，**同一会话内多轮迭代**，产出引理（含证明）、子路线、存活概率、完整解法。 |
|
|
115
|
-
| **Derive 子代理** | 子代理 | 当某问题的所有方向都走进死路仍未解决时，基于历史痛点**派生 1~3 个全新方向**。 |
|
|
116
|
-
| **Verifier 子代理** | 子代理 | 每个验证单元 ≥3 个独立「严苛审稿人」，独立审查 → 辩论（交流群）→ 裁决。 |
|
|
117
|
-
| **Decider 子代理** | 子代理 | `Verified/` 出现新结论时，判断它是否解决了某未解决问题，回写 `qs.csv` 并重命名解法文件。 |
|
|
118
|
-
|
|
119
|
-
> 一句话分工：**主代理负责“和人对话”，调度器负责“干活”，子代理负责“动脑”。**
|
|
120
|
-
|
|
121
|
-
---
|
|
122
|
-
|
|
123
|
-
|
|
124
|
-
## 📁 目录结构
|
|
125
|
-
|
|
126
|
-
### v1（经典）
|
|
127
|
-
|
|
128
|
-
```
|
|
129
|
-
<会话工作区>/VibeMath/
|
|
130
|
-
├─ current.json # 当前项目
|
|
131
|
-
├─ vibe_math_setting.json # （可选，全局回退）默认参数 JSONC，含注释
|
|
132
|
-
└─ Projects/<项目>/
|
|
133
|
-
├─ vibe_math_setting.json # 该项目默认参数
|
|
134
|
-
├─ qs/qs.csv # 问题清单：id,description,priority,status,deps
|
|
135
|
-
├─ Verified/ # 已验证可信知识库（绝对可信）
|
|
136
|
-
├─ Pending_Verification/ # 待验证原始输出
|
|
137
|
-
├─ Under_Verification/ # 拆解后的最小验证单元
|
|
138
|
-
├─ Temp/ # 临时工作区
|
|
139
|
-
├─ Temp_Validated/ # 已验证、待晋升
|
|
140
|
-
├─ Progress_Logs/ # 每问题进度 + 辩论日志 + 定期报告
|
|
141
|
-
└─ VibeMath_State/ # 调度器私有持久状态（断点恢复用）
|
|
142
|
-
```
|
|
143
|
-
|
|
144
|
-
### v2（新架构）
|
|
145
|
-
|
|
146
|
-
```
|
|
147
|
-
<会话工作区>/VibeMath/
|
|
148
|
-
├─ current.json # 当前项目
|
|
149
|
-
├─ vibe_math_setting.json # （可选，全局回退）默认参数 JSONC，含注释
|
|
150
|
-
└─ Projects/<项目>/
|
|
151
|
-
├─ vibe_math_setting.json # 该项目默认参数
|
|
152
|
-
├─ qs/qs.json # 问题清单：概述/已解决/解法列表(完整解法·正确概率)/优先级/progress
|
|
153
|
-
├─ Propos/<分类>_Propos.json # 命题库：概述/布尔估计/细类型/证明·证伪列表/优先级/价值·关键性/progress
|
|
154
|
-
├─ Reliable/ # 可信参考文献（只读，用户放入）
|
|
155
|
-
├─ Verified/ # 定论事实索引（布尔估计=0/1 的命题）
|
|
156
|
-
├─ Verification_logs/ # 每轮验证的辩论记录（审计用）
|
|
157
|
-
├─ Progress_Logs/ # 定期进度报告 report.json
|
|
158
|
-
└─ VibeMath_State/ # 调度器私有持久状态（断点恢复用）
|
|
159
|
-
```
|
|
160
|
-
|
|
161
|
-
**铁律（两版通用）**：调度器是**唯一文件写者**（子代理只返回结构化 JSON，从不写文件）。
|
|
162
|
-
|
|
163
|
-
---
|
|
164
|
-
|
|
165
|
-
## ⚡ 快速上手
|
|
166
|
-
|
|
167
|
-
### 方式 A：直接对话（推荐，最省事）
|
|
168
|
-
|
|
169
|
-
因为主代理内置了使用说明，你**直接说人话即可**：
|
|
170
|
-
|
|
171
|
-
```
|
|
172
|
-
帮我用 Vibe Math 证明 √2 是无理数。
|
|
173
|
-
```
|
|
174
|
-
|
|
175
|
-
主代理会自动：`vibe_math_add_problem` 加题 → `vibe_math_start` 启动 → 之后你随时问它进度。
|
|
176
|
-
|
|
177
|
-
```
|
|
178
|
-
现在进展怎么样了？
|
|
179
|
-
```
|
|
180
|
-
|
|
181
|
-
主代理会自动调用 `vibe_math_status` / `vibe_math_report` 并把结果用人话汇报给你。
|
|
182
|
-
|
|
183
|
-
### 方式 B：命令 / 工具（精确控制）
|
|
184
|
-
|
|
185
|
-
在对话里直接调用工具（参数为 JSON）：
|
|
186
|
-
|
|
187
|
-
| 工具 | 作用 |
|
|
188
|
-
|---|---|
|
|
189
|
-
| `vibe_math_add_problem` | 加题（id/description/priority） |
|
|
190
|
-
| `vibe_math_add_proposition` / `vibe_math_list_propositions`（v2） | 添加 / 列出命题库（id/概述/布尔估计/细类型/价值·关键性） |
|
|
191
|
-
| `vibe_math_start` / `vibe_math_resume` | 启动 / 断点恢复调度器 |
|
|
192
|
-
| `vibe_math_pause` / `vibe_math_abort` | 暂停 / 终止（中断所有子代理） |
|
|
193
|
-
| `vibe_math_status` / `vibe_math_report` | 查看状态 / 完整进度报告 |
|
|
194
|
-
| `vibe_math_set_mode` | 切换 `auto` / `manual` |
|
|
195
|
-
| `vibe_math_set_params` | 运行时调参 |
|
|
196
|
-
| `vibe_math_setup` | 返回参数 schema（交互式配置用） |
|
|
197
|
-
| `vibe_math_save_settings` | 把当前参数存成新默认 |
|
|
198
|
-
| `vibe_math_template` | 生成默认参数模板文件 |
|
|
199
|
-
| `vibe_math_new_project` / `vibe_math_set_project` / `vibe_math_list_projects` | 项目管理 |
|
|
200
|
-
| `vibe_math_list_decisions` / `decide` | 查看 / 裁决人工决策 |
|
|
201
|
-
| `vibe_math_list_agents` / `vibe_math_message_agent` / `vibe_math_interrupt_agent` | 查看 / 发消息 / 中断子代理 |
|
|
202
|
-
|
|
203
|
-
斜杠命令（与工具等价）：`/vibe start|resume|pause|abort|status|report|mode <auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|project [list|new <name>|<name>]|decisions|agents`
|
|
204
|
-
|
|
205
|
-
---
|
|
206
|
-
|
|
207
|
-
## 🎓 教学：让主代理替你干活
|
|
208
|
-
|
|
209
|
-
### 1. 自然语言驱动（不用记命令）
|
|
210
|
-
|
|
211
|
-
主代理的作用就是当你的「翻译官」。你只需描述**目标**，它会自己选择并调用工具：
|
|
212
|
-
|
|
213
|
-
| 你说的话 | 主代理做的事 |
|
|
214
|
-
|---|---|
|
|
215
|
-
| “求解 / 证明 XXX” | `add_problem` + `start`，之后汇报 |
|
|
216
|
-
| “现在进度怎么样 / 有哪些代理在跑” | `status` / `report` / `list_agents` 并总结 |
|
|
217
|
-
| “暂停 / 终止求解” | `pause` / `abort` |
|
|
218
|
-
| “切到人工模式，我要逐步把关” | `set_mode manual`，之后有决策就 `list_decisions` 提醒你 |
|
|
219
|
-
| “给 q1 的某个求解方向换个思路（比如改成构造性证明）” | `list_agents` 找到 childId → `message_agent` 注入新指令 |
|
|
220
|
-
| “中断某个卡住的子代理” | `interrupt_agent` |
|
|
221
|
-
|
|
222
|
-
### 2. 问答式参数配置（/vibe setup）
|
|
223
|
-
|
|
224
|
-
你甚至不用记参数名。说：
|
|
225
|
-
|
|
226
|
-
```
|
|
227
|
-
帮我配置一下参数。
|
|
228
|
-
```
|
|
229
|
-
|
|
230
|
-
主代理会调用 `vibe_math_setup` 拿到完整参数 schema（每项含**说明 / 选项 / 建议 / 当前值**），
|
|
231
|
-
然后用 `ask_user_question` **逐项问你**（选项自带解释与建议），你选完它用 `vibe_math_set_params`
|
|
232
|
-
应用，最后问你是否 `vibe_math_save_settings` 存为默认。
|
|
233
|
-
|
|
234
|
-
也可以直接跑命令：`/vibe setup`（看 schema）→ 跟主代理说你要改哪些 → `/vibe save`（存默认）。
|
|
235
|
-
|
|
236
|
-
### 3. 配置文件（vibe_math_setting.json）
|
|
237
|
-
|
|
238
|
-
- **生成模板**：`/vibe template`（生成到工作区）或 `/vibe template project`（生成到当前项目）——
|
|
239
|
-
会产出一份**带 `//` 注释、逐项中文说明**的 JSON 模板，你手改后重启/resume 即生效。
|
|
240
|
-
- **保存当前值**：`/vibe save` 把当前生效参数写回该文件。
|
|
241
|
-
- **唯一持久化来源**：该文件是参数的**唯一持久化层**（项目级优先 → 缺失时回退全局 `<工作区>/VibeMath/vibe_math_setting.json` → 内置默认）。
|
|
242
|
-
`vibe_math_set_params` / `set_mode` 会**立即写回**项目级文件并持久化，无需再手动 save。
|
|
243
|
-
|
|
244
|
-
---
|
|
245
|
-
|
|
246
|
-
## 🌱 新手示例流程（以“证明 √2 是无理数”为例）
|
|
247
|
-
|
|
248
|
-
**Step 1 — 用一句话启动**
|
|
249
|
-
|
|
250
|
-
```
|
|
251
|
-
帮我用 Vibe Math 证明：√2 是无理数。
|
|
252
|
-
```
|
|
253
|
-
|
|
254
|
-
主代理执行 `vibe_math_add_problem {"id":"q1","description":"证明：√2 是无理数。","priority":0}`
|
|
255
|
-
再执行 `vibe_math_start`，然后告诉你“已启动”。
|
|
256
|
-
|
|
257
|
-
**Step 2 — 询问进度**
|
|
258
|
-
|
|
259
|
-
```
|
|
260
|
-
进展如何？
|
|
261
|
-
```
|
|
262
|
-
|
|
263
|
-
主代理执行 `vibe_math_status` 并用人话汇报：当前活跃子代理数、正在验证的单元、是否有待决策等。
|
|
264
|
-
|
|
265
|
-
**Step 3 — 问答式调参（可选）**
|
|
266
|
-
|
|
267
|
-
```
|
|
268
|
-
我想让它用加权投票，并发数设成 6。
|
|
269
|
-
```
|
|
270
|
-
|
|
271
|
-
主代理 `vibe_math_set_params {"verdictMode":"weighted-vote","maxParallelThreshold":6}`，
|
|
272
|
-
并问你是否 `vibe_math_save_settings` 保存。
|
|
273
|
-
|
|
274
|
-
**Step 4 — 中途干预（可选）**
|
|
275
|
-
|
|
276
|
-
```
|
|
277
|
-
切到人工模式，我要在每个关键节点把关。
|
|
278
|
-
```
|
|
279
|
-
|
|
280
|
-
主代理 `vibe_math_set_mode {"mode":"manual"}`。之后每到一个关键节点它会 `vibe_math_list_decisions`
|
|
281
|
-
拿到决策，向你说明，等你 `vibe_math_decide {"id":"...","action":"approve"}`（或 `reject` / `override`）。
|
|
282
|
-
|
|
283
|
-
**Step 5 — 收尾**
|
|
284
|
-
|
|
285
|
-
```
|
|
286
|
-
结束了吗？结论是什么？
|
|
287
|
-
```
|
|
288
|
-
|
|
289
|
-
主代理 `vibe_math_status`：`qs.csv` 里 `q1` 已回写 `solved`，解法文件在 `Verified/` 里并被命名为
|
|
290
|
-
`q1-的解法_<唯一标识>.csv`。
|
|
291
|
-
|
|
292
|
-
> v2 对应的收尾是：`qs.json` 中 `q1.已解决 = true`，其解法 `正确概率 = 1`，相关命题进入 `Verified/`。
|
|
293
|
-
|
|
294
|
-
---
|
|
295
|
-
|
|
296
|
-
## 🖼️ 实际使用示例（长截图）
|
|
297
|
-
|
|
298
|
-
> 截图很长，这里默认**折叠**：点击下方「展开」才加载整张长图，避免它占满页面、遮挡前后文字。
|
|
299
|
-
|
|
300
|
-
<details>
|
|
301
|
-
<summary>📸 展开查看实际使用示例长截图</summary>
|
|
302
|
-
|
|
303
|
-
|
|
304
|
-
|
|
305
|
-
</details>
|
|
306
|
-
|
|
307
|
-
---
|
|
308
|
-
|
|
309
|
-
## ⚙️ 参数速查表
|
|
310
|
-
|
|
311
|
-
### v1（经典）默认值
|
|
312
|
-
|
|
313
|
-
| 参数 | 默认 | 说明 |
|
|
314
|
-
|---|---|---|
|
|
315
|
-
| `mode` | `auto` | `auto` / `manual` |
|
|
316
|
-
| `maxParallelThreshold` | 4 | 全局最大并发子代理数 |
|
|
317
|
-
| `solverMaxRounds` | 20 | 每个求解方向最大迭代轮数 |
|
|
318
|
-
| `verifierCount` | 3 | 每验证单元独立验证器数（≥3） |
|
|
319
|
-
| `debateMaxRounds` | 5 | 验证辩论最大轮数 |
|
|
320
|
-
| `verdictMode` | `direct-veto` | `direct-veto` / `weighted-vote` |
|
|
321
|
-
| `provider` / `model` | 空 | 子代理模型（空 = 继承根代理） |
|
|
322
|
-
| `solverPersona` / `verifierPersona` | 空 | 注入求解器/验证器的额外要求 |
|
|
323
|
-
| `solverToolAllow` / `solverToolDeny` | `[]` | 求解器允许/禁止的工具（硬性 toolFilter） |
|
|
324
|
-
| `verifierToolAllow` / `verifierToolDeny` | `[]` | 验证器允许/禁止的工具 |
|
|
325
|
-
| `solverMaxToolCalls` / `verifierMaxToolCalls` | 0 | 每轮外部工具调用上限（0=不限，软性） |
|
|
326
|
-
| `reportIntervalMs` | 0 | 0 = 仅事件驱动（有代理状态更新等事件才写报告）；>0 = 定时自动写（毫秒） |
|
|
327
|
-
| `tickIntervalMs` | 2000 | 调度器心跳间隔（毫秒） |
|
|
328
|
-
| `activityLogCap` | 100 | 活动日志保留条数（report 最多显示 30 条） |
|
|
329
|
-
|
|
330
|
-
### v2（新架构）默认值
|
|
331
|
-
|
|
332
|
-
| 参数 | 默认 | 说明 |
|
|
333
|
-
|---|---|---|
|
|
334
|
-
| `mode` | `auto` | `auto` / `manual` |
|
|
335
|
-
| `maxParallelThreshold` | 4 | 全局最大并发子代理轮数（新派发前须 active < 阈值） |
|
|
336
|
-
| `solverMaxRounds` | 3 | 每个求解方向最大迭代轮数（agent_self_iteration 上限） |
|
|
337
|
-
| `directionsPerSolver` | 1 | 每个 solver 提示词可见的方向总数（1 = 只看自己方向、互不干扰；N>1 = 自己 + 最多 N-1 个其他活跃方向摘要） |
|
|
338
|
-
| `verifierCount` | 3 | 每个验证对象的独立验证器数量 |
|
|
339
|
-
| `debateMaxRounds` | 5 | 验证辩论（交流群）最大轮数 |
|
|
340
|
-
| `verdictMode` | `flat` | `flat` = 均衡机制（不一致判 0.5）/ `forced` = 强制裁决（历史准确率+严谨性加权） |
|
|
341
|
-
| `reportMode` | `file` | `file` = 写报告文件 / `push` = 推送主代理汇报 / `both` |
|
|
342
|
-
| `promoteValueThreshold` | 0.7 | Propos 中「价值/关键性」≥ 该值且未决(0,1) 的命题自动加入 qs.json |
|
|
343
|
-
| `priorityAdjust` | `none` | `none` / `deadend-deprioritize`（全死路降优先级）/ `survival-map`（按存活率重算） |
|
|
344
|
-
| `proposPriorityAdjust` | `none` | 命题优先级动态调整：`none` / `progress-graded`（按定论接近度+证明/证伪材料量重算，越接近定论越优先验证） |
|
|
345
|
-
| `provider` / `model` | 空 | 子代理模型（空 = 继承根代理） |
|
|
346
|
-
| `solverPersona` / `verifierPersona` / `explorerPersona` | 空 | 注入求解器/验证器/explorer 提示词开头的人格/要求 |
|
|
347
|
-
| `knowledgeContext` | 空 | 共享知识/数据模型说明（空 = 内置完整版：对象/属性定义、概率语义、文件夹用途、输出完整性要求；非空 = 覆盖并注入所有子代理提示词） |
|
|
348
|
-
| `solverToolAllow` / `solverToolDeny` | `[]` | 求解器允许/禁止的工具 |
|
|
349
|
-
| `verifierToolAllow` / `verifierToolDeny` | `[]` | 验证器允许/禁止的工具 |
|
|
350
|
-
| `solverAllowNetwork` / `verifierAllowNetwork` | 空 | 网络工具开关（web_search/web/fetch）：空=继承全部；`true`=在已有 allow 列表时补入；`false`=禁止 |
|
|
351
|
-
| `solverAllowScripts` / `verifierAllowScripts` | 空 | 脚本工具开关（bash/pwsh）：同上 |
|
|
352
|
-
| `solverMaxToolCalls` / `verifierMaxToolCalls` | 0 | 每轮外部工具调用上限（0=不限） |
|
|
353
|
-
| `reportIntervalMs` | 0 | 0 = 仅事件驱动（有状态更新才写/推）；>0 = 定时自动汇报（毫秒） |
|
|
354
|
-
| `tickIntervalMs` | 2000 | 调度器心跳间隔（毫秒） |
|
|
355
|
-
| `activityLogCap` | 100 | 活动日志保留条数（report 最多显示 30 条） |
|
|
356
|
-
| `maxExplorerRetries` | 3 | explorer 拆方向失败的重派生上限 |
|
|
357
|
-
|
|
358
|
-
---
|
|
359
|
-
|
|
360
|
-
## 📝 断点续跑 & 人工干预（两大硬性需求）
|
|
361
|
-
|
|
362
|
-
- **断点续跑**：所有状态落盘到 `VibeMath_State/*.json`，每个子代理都是 DSH 的 **continuable 持久会话**（对话由 DSH 自动保存）。重启后新开会话 → `vibe_math_resume` 即可续跑。v2 额外用**进程纪元**区分"同进程暂停→恢复"（保留存活子代理继续）与"跨进程重启"（清理陈旧任务）。
|
|
363
|
-
- **中途人工干预**：`manual` 模式在关键节点（v1：brainstorm/solver 派发、验证裁决、晋升 Verified；v2：explorer/solver 派发、验证裁决）挂起决策；可随时 `set_mode auto` 切回自动；可对任意子代理 `message_agent` / `interrupt_agent`。
|
|
364
|
-
- **进度汇报**：默认**事件驱动** —— 只有代理状态更新等事件发生时才会写 `Progress_Logs/report.json`（v2 的 `reportMode` 可 `file`/`push`/`both`，`push` 通过 `rootAgent.followup()` 唤醒主代理主动汇报）；只有把 `reportIntervalMs` 设为 >0 才启动定时自动汇报（间隔毫秒）。
|
|
365
|
-
|
|
366
|
-
---
|
|
367
|
-
|
|
368
|
-
## 📚 规格文档
|
|
369
|
-
|
|
370
|
-
- **v1（经典）**：[`vibe-math-v1/实现方案-多代理数学问题求解与验证框架.md`](vibe-math-v1/实现方案-多代理数学问题求解与验证框架.md)
|
|
371
|
-
- **v2（新架构）**：[`vibe-math-v2/实现方案.md`](vibe-math-v2/实现方案.md)
|
|
372
|
-
|
|
373
|
-
---
|
|
374
|
-
|
|
375
|
-
## ⚠️ 已知边界（有意简化）
|
|
376
|
-
|
|
377
|
-
**v1**：
|
|
378
|
-
- `Pending_Verification` 按文件逐个拆解，未做跨文件的“去重 / 引用整合”（不损正确性）。
|
|
379
|
-
- `weighted-vote` 会记录每个验证器的历史准确率 + 严谨性权重，但最终裁决仍遵循“证伪优先 / 全 Uncertain→False”（数值权重仅用于审计）。
|
|
380
|
-
- manual 模式在第一个未决关键节点暂停整条主循环。
|
|
381
|
-
|
|
382
|
-
**v2**：
|
|
383
|
-
- 安装器带**版本化自动更新**：每次 DSH 启动时对比包版本与 `<presetRoot>/.vibe-math-installed.json` 记录——版本升级会自动替换**未被手动修改**的 preset 文件（哈希一致才覆盖）；你改过的文件会被保留并在日志中提示。无记录的老安装首次会一次性刷新到当前版本。想强制全量重装：删除 `~/.dsh/.agent-presets/vibe-math-v1` 与 `vibe-math-v2` 目录后重启 DSH。
|
|
384
|
-
- `flat` 裁决在辩论不一致时直接判 `0.5`；`forced` 按历史准确率+置信度加权。
|
|
385
|
-
- `never` 优先级的问题/命题**永不调度**，且不阻塞严格终止（视为主动弃权）。
|
|
386
|
-
- 两个 preset 文件互相独立、可共存；同一会话同时只能选一个预设。
|
|
387
|
-
|
|
388
|
-
---
|
|
389
|
-
|
|
390
|
-
## 📄 License
|
|
391
|
-
|
|
392
|
-
MIT
|
|
1
|
+
# Vibe Mathematics — 多代理数学问题求解与验证框架（双架构）
|
|
2
|
+
|
|
3
|
+
[](https://www.npmjs.com/package/dsh-vibe-math)
|
|
4
|
+
[](https://opensource.org/licenses/MIT)
|
|
5
|
+
[](https://github.com/ChongCyrus/Vibe-Mathematics)
|
|
6
|
+
|
|
7
|
+
> 运行在 **DeepSeek Harness** 内的一组 **agent preset**（`vibe-math-v1` / `vibe-math-v2`），
|
|
8
|
+
> 用多代理协作自动求解数学问题并对结论做多代理交叉验证。两个预设共享「**断点续跑**、
|
|
9
|
+
> **中途人工干预**、**进度汇报**、**自然语言驱动**」三大底座能力，但采用两套不同的求解架构：
|
|
10
|
+
>
|
|
11
|
+
> - **`vibe-math-v1`（经典流水线）**：「广度探索 → 深度迭代 → 交叉验证 → 知识沉淀」闭环；
|
|
12
|
+
> - **`vibe-math-v2`（新架构 · 概率驱动）**：`qs.json` 问题清单 + `Propos/` 命题库 + 概率驱动调度。
|
|
13
|
+
|
|
14
|
+
安装本插件包（或手动复制预设）后，DSH 的预设选择器里会出现**两个** agent preset。
|
|
15
|
+
|
|
16
|
+
---
|
|
17
|
+
|
|
18
|
+
## 🧩 架构图（v1 + v2）
|
|
19
|
+
|
|
20
|
+
> 静态架构图；完整流程说明见 [docs/架构图.md](docs/架构图.md)；可编辑生成脚本：[v1](docs/generate_framework_diagram.py) / [v2](docs/generate_framework_diagram_v2.py)。
|
|
21
|
+
|
|
22
|
+
### Vibe Math V1（经典流水线）
|
|
23
|
+
|
|
24
|
+
|
|
25
|
+
|
|
26
|
+
**一句话流水线**：`qs.csv` → Brainstorm 拆方向 → 每方向一个 Solver 多轮迭代（卡死则 Derive 派生新方向）→ 输出拆成最小验证单元 → ≥3 个 Verifier 独立审查 → 辩论 → 裁决 → 通过晋升 `Verified/` → Decider 回写 `qs.csv`；全程状态落盘 `VibeMath_State/`，`resume` 断点续跑，`manual` 模式在派发/裁决/晋升处挂起人工决策。
|
|
27
|
+
|
|
28
|
+
### Vibe Math V2（新架构 · 概率驱动）
|
|
29
|
+
|
|
30
|
+
|
|
31
|
+
|
|
32
|
+
**一句话流水线**：`qs.json` 按优先级取问题 → Explorer 拆方向（全死路则重派生）→ 每方向一个 Solver 多轮迭代（引理进 `Propos/`、解法回 `qs.json`，概率均 <1）→ 调度器选 r（命题 / 命题+证明·证伪 / 问题+解法）派 ≥3 验证器独立审查→辩论→裁决 → 概率=1 自动收口（问题 solved、命题 1/0，优先级置 `never`）；全程状态落盘，`resume` 断点续跑，`reportMode` 可 file/push/both 汇报。
|
|
33
|
+
|
|
34
|
+
---
|
|
35
|
+
|
|
36
|
+
## ✨ 功能特色
|
|
37
|
+
|
|
38
|
+
- **多代理自动求解**：主代理把问题交给调度器，调度器派发 brainstorm / solver / verifier / decider（v1）或 explorer / solver / verifier（v2）等子代理协同求解，**你无需逐节点手操**。
|
|
39
|
+
- **多代理交叉验证**：每个结论交给 ≥3 个「严苛审稿人」**独立审查 → 辩论（交流群）→ 裁决**。
|
|
40
|
+
- **知识沉淀**：验证通过的结论晋升进 `Verified/` 可信知识库（v2 另有 `Propos/` 命题库），供后续方向复用。
|
|
41
|
+
- **断点续跑**：调度状态、任务栈、代理注册表、决策队列、验证器历史准确率等全部落盘；重启后 `resume` 即可恢复（v2 用进程纪元区分"同进程暂停→恢复"与"跨进程重启"）。
|
|
42
|
+
- **中途人工干预（并继续）**：`auto / manual` 模式随时切换；manual 在关键节点挂起决策等你 approve/reject/override；可对任意子代理发消息 / 中断。
|
|
43
|
+
- **按项目隔离**：每个数学问题一个独立项目文件夹，互不干扰，可随时切换。
|
|
44
|
+
- **多会话并行隔离**：DSH 的 agent preset 是 standing mount（同一 preset 的所有会话共享一个插件实例），插件内部按**根会话 id** 隔离全部运行状态——两个会话可以同时各跑一个项目（如 A 会话跑项目 A、B 会话跑项目 B），各自的子代理会正确挂在自己会话名下，调度器 / 参数 / 决策队列 / 当前项目互不干扰。当前项目按会话分别持久化（`VibeMath/current.<会话id>.json`）。
|
|
45
|
+
- **子代理权限可调控**：可限制子代理允许/禁止的工具、每轮外部工具调用上限，并明确告知其可读 `Verified/`、`Propos/`、`Reliable/` 与进度日志。
|
|
46
|
+
- **可配置**：`vibe_math_setting.json`（含注释）自定义默认参数；`/vibe setup` 交互式问答配置。
|
|
47
|
+
- **自然语言控制**：主代理充当「助手 + 汇报者」，你把需求说成人话，它自己调用工具、汇报进度、配置参数。
|
|
48
|
+
|
|
49
|
+
---
|
|
50
|
+
|
|
51
|
+
## 🚀 安装
|
|
52
|
+
|
|
53
|
+
两种安装方式，任选其一（也可并存）：
|
|
54
|
+
|
|
55
|
+
### 方式 A：作为插件包一键安装（推荐，同时装出两个预设）
|
|
56
|
+
|
|
57
|
+
```sh
|
|
58
|
+
dsh plugin --profile <你的 profile> add dsh-vibe-math
|
|
59
|
+
# 或从 GitHub 直装：
|
|
60
|
+
dsh plugin --profile <你的 profile> add github:ChongCyrus/Vibe-Mathematics
|
|
61
|
+
```
|
|
62
|
+
|
|
63
|
+
安装时插件会自动把两个 preset 写入 `~/.dsh/.agent-presets/`：`vibe-math-v1/` 与 `vibe-math-v2/`。
|
|
64
|
+
之后新建会话，预设选择器里选择 **Vibe Math**（v1）或 **Vibe Math V2**（v2）即可。
|
|
65
|
+
**升级包版本后重启 DSH，未手动改过的 preset 文件会自动更新到新版本**（细节见文末「v2」安装器说明）。
|
|
66
|
+
|
|
67
|
+
### 方式 B：作为 agent preset 手动安装
|
|
68
|
+
|
|
69
|
+
1. 把本仓库对应目录的文件复制到 preset 目录：
|
|
70
|
+
|
|
71
|
+
```
|
|
72
|
+
C:\Users\<你>\.dsh\.agent-presets\vibe-math-v1\ ← 复制 vibe-math-v1/ 下的 agent.cordis.yml / preset.yml / vibe-math.js
|
|
73
|
+
C:\Users\<你>\.dsh\.agent-presets\vibe-math-v2\ ← 复制 vibe-math-v2/ 下的 agent.cordis.yml / preset.yml / vibe-math-v2.js
|
|
74
|
+
```
|
|
75
|
+
|
|
76
|
+
2. 新建一个会话，在 preset 选择器里选 **「Vibe Math」** 或 **「Vibe Math V2」**。
|
|
77
|
+
3. 会话启动后即可使用：工具列表里会出现 `vibe_math_*` 工具，输入框键入 `/vibe` 有自动补全。
|
|
78
|
+
|
|
79
|
+
> 修改 preset 文件后需**重启 DSH 进程**再开新会话（preset 的 standing mount 会缓存到进程退出）。
|
|
80
|
+
|
|
81
|
+
### DSH 版本适配与依赖
|
|
82
|
+
|
|
83
|
+
- **形态依赖**：两个 preset 依赖 DSH 的标准 **agent-preset 机制**（`~/.dsh/.agent-presets/<id>/` + preset picker）与 **bundle patch 机制**（`cordis.patch.yml` 注入安装器）。
|
|
84
|
+
- **宿主插件行**：`agent.cordis.yml` 引用宿主提供的 `@deepseek-ai/dsh-*` 插件行（persona、agent-instructions、tool-bash/pwsh、tool-fs/fs-search、tool-jobs、skill-filesystem、tool-skill、tool-goal、plan-mode、compaction、subagent/workflow、ask-user、todo、web 等，约 21 个唯一包名）。宿主缺行会导致 preset 挂载失败（会话启动时报错）。
|
|
85
|
+
- **宿主服务 API**：预设插件消费 `subagents`（startContinuable / followup / interrupt）、`agents`（roots）、`tools`（register）、`commands`（register）、`fs`（resolve/stat/readText/writeText/listDir），可选 `subprocess` / `sandboxPolicy`。这些 API 形状随 DSH 版本演进；本项目**已充分测试并确认适配 `dsh-v0.1.0-rc.7`**（`package.json` 的 `dsh.minVersion` / `testedVersion` 均为 `0.1.0-rc.7`），低于该版本的 DSH 未验证，可能无法挂载。
|
|
86
|
+
- **运行时自检**：安装器（bundle 插件）每次启动时对上述服务与关键 API 做**能力自检**（DSH 不暴露版本号，故按能力而非版本检测）；不满足时打 warning 并提示升级 DSH。preset 挂载失败时先看 DSH 日志里的自检 warning。
|
|
87
|
+
- **升级路径**：DSH 升级后无需重装本包；升级本包用 `dsh plugin update dsh-vibe-math`，重启 DSH 后安装器会自动把 preset 更新到新版本（见上文「安装」说明）。
|
|
88
|
+
|
|
89
|
+
---
|
|
90
|
+
|
|
91
|
+
## 🧭 两个预设怎么选
|
|
92
|
+
|
|
93
|
+
| | **vibe-math-v1（经典）** | **vibe-math-v2（新架构）** |
|
|
94
|
+
|---|---|---|
|
|
95
|
+
| 核心思想 | 流水线：拆方向 → 逐方向求解 → 拆最小单元 → 多验证器辩论 → 晋升 `Verified/` | 概率驱动：`qs.json` 问题 + `Propos/` 命题库，按「正确概率 / 价值」调度求解与验证 |
|
|
96
|
+
| 数据 | `qs/qs.csv` + `Progress_Logs/` | `qs/qs.json` + `Propos/<分类>_Propos.json` + `Reliable/` |
|
|
97
|
+
| 角色 | brainstorm / solver / derive / verifier / decider | explorer（拆方向）→ 逐方向 solver → verifier（独立审查→辩论→裁决） |
|
|
98
|
+
| 收口规则 | 验证通过晋升 `Verified/`，decider 判定解决 | 解法/证明达概率 `1` 即收口（问题 solved、命题 1/0），`never` 永不调度 |
|
|
99
|
+
| 特设能力 | 子问题分支（Aux_Hypothesis） | 命题「价值/关键性」自动晋升问题清单；`reportMode file/push/both`；`priorityAdjust` 三种优先级策略 |
|
|
100
|
+
|
|
101
|
+
两者都支持：断点续跑（`vibe_math_resume`）、人工/自动模式切换、`vibe_math_*` 工具集与 `/vibe` 命令、按项目隔离、子代理权限调控。
|
|
102
|
+
|
|
103
|
+
---
|
|
104
|
+
|
|
105
|
+
## 🧠 架构与分工（v1 · 经典）
|
|
106
|
+
|
|
107
|
+
框架 = **一个主代理（助手）+ 一个代码调度器 + 五类子代理**。
|
|
108
|
+
|
|
109
|
+
| 角色 | 类型 | 职责 |
|
|
110
|
+
|---|---|---|
|
|
111
|
+
| **主代理** | LLM（会话里的那个助手） | **自然语言接口 + 汇报者 + 助手**。它**自己不求解、不调度**，只负责：把你的话翻译成 `vibe_math_*` 工具调用、汇报进展、问答式配置参数、执行调控命令。 |
|
|
112
|
+
| **调度器** | 插件代码（非模型） | 唯一主控：读 `qs.csv`、派发子代理、写文件、推进状态机。**所有调度靠编程，不靠代理**。 |
|
|
113
|
+
| **Brainstorm 子代理** | 子代理 | 元认知头脑风暴：约束分解、边界测试、相似问题映射，把问题拆成多个「大相径庭」的求解方向。 |
|
|
114
|
+
| **Solver 子代理** | 子代理 | 每个方向一个专属求解器，**同一会话内多轮迭代**，产出引理（含证明）、子路线、存活概率、完整解法。 |
|
|
115
|
+
| **Derive 子代理** | 子代理 | 当某问题的所有方向都走进死路仍未解决时，基于历史痛点**派生 1~3 个全新方向**。 |
|
|
116
|
+
| **Verifier 子代理** | 子代理 | 每个验证单元 ≥3 个独立「严苛审稿人」，独立审查 → 辩论（交流群）→ 裁决。 |
|
|
117
|
+
| **Decider 子代理** | 子代理 | `Verified/` 出现新结论时，判断它是否解决了某未解决问题，回写 `qs.csv` 并重命名解法文件。 |
|
|
118
|
+
|
|
119
|
+
> 一句话分工：**主代理负责“和人对话”，调度器负责“干活”，子代理负责“动脑”。**
|
|
120
|
+
|
|
121
|
+
---
|
|
122
|
+
|
|
123
|
+
|
|
124
|
+
## 📁 目录结构
|
|
125
|
+
|
|
126
|
+
### v1（经典）
|
|
127
|
+
|
|
128
|
+
```
|
|
129
|
+
<会话工作区>/VibeMath/
|
|
130
|
+
├─ current.json # 当前项目
|
|
131
|
+
├─ vibe_math_setting.json # （可选，全局回退）默认参数 JSONC，含注释
|
|
132
|
+
└─ Projects/<项目>/
|
|
133
|
+
├─ vibe_math_setting.json # 该项目默认参数
|
|
134
|
+
├─ qs/qs.csv # 问题清单：id,description,priority,status,deps
|
|
135
|
+
├─ Verified/ # 已验证可信知识库（绝对可信）
|
|
136
|
+
├─ Pending_Verification/ # 待验证原始输出
|
|
137
|
+
├─ Under_Verification/ # 拆解后的最小验证单元
|
|
138
|
+
├─ Temp/ # 临时工作区
|
|
139
|
+
├─ Temp_Validated/ # 已验证、待晋升
|
|
140
|
+
├─ Progress_Logs/ # 每问题进度 + 辩论日志 + 定期报告
|
|
141
|
+
└─ VibeMath_State/ # 调度器私有持久状态（断点恢复用）
|
|
142
|
+
```
|
|
143
|
+
|
|
144
|
+
### v2（新架构）
|
|
145
|
+
|
|
146
|
+
```
|
|
147
|
+
<会话工作区>/VibeMath/
|
|
148
|
+
├─ current.json # 当前项目
|
|
149
|
+
├─ vibe_math_setting.json # （可选，全局回退）默认参数 JSONC，含注释
|
|
150
|
+
└─ Projects/<项目>/
|
|
151
|
+
├─ vibe_math_setting.json # 该项目默认参数
|
|
152
|
+
├─ qs/qs.json # 问题清单：概述/已解决/解法列表(完整解法·正确概率)/优先级/progress
|
|
153
|
+
├─ Propos/<分类>_Propos.json # 命题库：概述/布尔估计/细类型/证明·证伪列表/优先级/价值·关键性/progress
|
|
154
|
+
├─ Reliable/ # 可信参考文献（只读，用户放入）
|
|
155
|
+
├─ Verified/ # 定论事实索引（布尔估计=0/1 的命题）
|
|
156
|
+
├─ Verification_logs/ # 每轮验证的辩论记录（审计用）
|
|
157
|
+
├─ Progress_Logs/ # 定期进度报告 report.json
|
|
158
|
+
└─ VibeMath_State/ # 调度器私有持久状态（断点恢复用）
|
|
159
|
+
```
|
|
160
|
+
|
|
161
|
+
**铁律（两版通用）**：调度器是**唯一文件写者**（子代理只返回结构化 JSON，从不写文件）。
|
|
162
|
+
|
|
163
|
+
---
|
|
164
|
+
|
|
165
|
+
## ⚡ 快速上手
|
|
166
|
+
|
|
167
|
+
### 方式 A：直接对话（推荐，最省事）
|
|
168
|
+
|
|
169
|
+
因为主代理内置了使用说明，你**直接说人话即可**：
|
|
170
|
+
|
|
171
|
+
```
|
|
172
|
+
帮我用 Vibe Math 证明 √2 是无理数。
|
|
173
|
+
```
|
|
174
|
+
|
|
175
|
+
主代理会自动：`vibe_math_add_problem` 加题 → `vibe_math_start` 启动 → 之后你随时问它进度。
|
|
176
|
+
|
|
177
|
+
```
|
|
178
|
+
现在进展怎么样了？
|
|
179
|
+
```
|
|
180
|
+
|
|
181
|
+
主代理会自动调用 `vibe_math_status` / `vibe_math_report` 并把结果用人话汇报给你。
|
|
182
|
+
|
|
183
|
+
### 方式 B：命令 / 工具（精确控制）
|
|
184
|
+
|
|
185
|
+
在对话里直接调用工具（参数为 JSON）：
|
|
186
|
+
|
|
187
|
+
| 工具 | 作用 |
|
|
188
|
+
|---|---|
|
|
189
|
+
| `vibe_math_add_problem` | 加题（id/description/priority） |
|
|
190
|
+
| `vibe_math_add_proposition` / `vibe_math_list_propositions`（v2） | 添加 / 列出命题库（id/概述/布尔估计/细类型/价值·关键性） |
|
|
191
|
+
| `vibe_math_start` / `vibe_math_resume` | 启动 / 断点恢复调度器 |
|
|
192
|
+
| `vibe_math_pause` / `vibe_math_abort` | 暂停 / 终止（中断所有子代理） |
|
|
193
|
+
| `vibe_math_status` / `vibe_math_report` | 查看状态 / 完整进度报告 |
|
|
194
|
+
| `vibe_math_set_mode` | 切换 `auto` / `manual` |
|
|
195
|
+
| `vibe_math_set_params` | 运行时调参 |
|
|
196
|
+
| `vibe_math_setup` | 返回参数 schema（交互式配置用） |
|
|
197
|
+
| `vibe_math_save_settings` | 把当前参数存成新默认 |
|
|
198
|
+
| `vibe_math_template` | 生成默认参数模板文件 |
|
|
199
|
+
| `vibe_math_new_project` / `vibe_math_set_project` / `vibe_math_list_projects` | 项目管理 |
|
|
200
|
+
| `vibe_math_list_decisions` / `decide` | 查看 / 裁决人工决策 |
|
|
201
|
+
| `vibe_math_list_agents` / `vibe_math_message_agent` / `vibe_math_interrupt_agent` | 查看 / 发消息 / 中断子代理 |
|
|
202
|
+
|
|
203
|
+
斜杠命令（与工具等价）：`/vibe start|resume|pause|abort|status|report|mode <auto|manual>|setup|save|template [global|project]|add <id> <desc>|add-proposition <id> <概述>|list-propositions|project [list|new <name>|<name>]|decisions|agents`
|
|
204
|
+
|
|
205
|
+
---
|
|
206
|
+
|
|
207
|
+
## 🎓 教学：让主代理替你干活
|
|
208
|
+
|
|
209
|
+
### 1. 自然语言驱动（不用记命令）
|
|
210
|
+
|
|
211
|
+
主代理的作用就是当你的「翻译官」。你只需描述**目标**，它会自己选择并调用工具：
|
|
212
|
+
|
|
213
|
+
| 你说的话 | 主代理做的事 |
|
|
214
|
+
|---|---|
|
|
215
|
+
| “求解 / 证明 XXX” | `add_problem` + `start`，之后汇报 |
|
|
216
|
+
| “现在进度怎么样 / 有哪些代理在跑” | `status` / `report` / `list_agents` 并总结 |
|
|
217
|
+
| “暂停 / 终止求解” | `pause` / `abort` |
|
|
218
|
+
| “切到人工模式，我要逐步把关” | `set_mode manual`，之后有决策就 `list_decisions` 提醒你 |
|
|
219
|
+
| “给 q1 的某个求解方向换个思路（比如改成构造性证明）” | `list_agents` 找到 childId → `message_agent` 注入新指令 |
|
|
220
|
+
| “中断某个卡住的子代理” | `interrupt_agent` |
|
|
221
|
+
|
|
222
|
+
### 2. 问答式参数配置（/vibe setup）
|
|
223
|
+
|
|
224
|
+
你甚至不用记参数名。说：
|
|
225
|
+
|
|
226
|
+
```
|
|
227
|
+
帮我配置一下参数。
|
|
228
|
+
```
|
|
229
|
+
|
|
230
|
+
主代理会调用 `vibe_math_setup` 拿到完整参数 schema（每项含**说明 / 选项 / 建议 / 当前值**），
|
|
231
|
+
然后用 `ask_user_question` **逐项问你**（选项自带解释与建议），你选完它用 `vibe_math_set_params`
|
|
232
|
+
应用，最后问你是否 `vibe_math_save_settings` 存为默认。
|
|
233
|
+
|
|
234
|
+
也可以直接跑命令：`/vibe setup`（看 schema）→ 跟主代理说你要改哪些 → `/vibe save`（存默认）。
|
|
235
|
+
|
|
236
|
+
### 3. 配置文件（vibe_math_setting.json）
|
|
237
|
+
|
|
238
|
+
- **生成模板**：`/vibe template`（生成到工作区）或 `/vibe template project`（生成到当前项目）——
|
|
239
|
+
会产出一份**带 `//` 注释、逐项中文说明**的 JSON 模板，你手改后重启/resume 即生效。
|
|
240
|
+
- **保存当前值**：`/vibe save` 把当前生效参数写回该文件。
|
|
241
|
+
- **唯一持久化来源**：该文件是参数的**唯一持久化层**（项目级优先 → 缺失时回退全局 `<工作区>/VibeMath/vibe_math_setting.json` → 内置默认）。
|
|
242
|
+
`vibe_math_set_params` / `set_mode` 会**立即写回**项目级文件并持久化，无需再手动 save。
|
|
243
|
+
|
|
244
|
+
---
|
|
245
|
+
|
|
246
|
+
## 🌱 新手示例流程（以“证明 √2 是无理数”为例）
|
|
247
|
+
|
|
248
|
+
**Step 1 — 用一句话启动**
|
|
249
|
+
|
|
250
|
+
```
|
|
251
|
+
帮我用 Vibe Math 证明：√2 是无理数。
|
|
252
|
+
```
|
|
253
|
+
|
|
254
|
+
主代理执行 `vibe_math_add_problem {"id":"q1","description":"证明：√2 是无理数。","priority":0}`
|
|
255
|
+
再执行 `vibe_math_start`，然后告诉你“已启动”。
|
|
256
|
+
|
|
257
|
+
**Step 2 — 询问进度**
|
|
258
|
+
|
|
259
|
+
```
|
|
260
|
+
进展如何？
|
|
261
|
+
```
|
|
262
|
+
|
|
263
|
+
主代理执行 `vibe_math_status` 并用人话汇报：当前活跃子代理数、正在验证的单元、是否有待决策等。
|
|
264
|
+
|
|
265
|
+
**Step 3 — 问答式调参（可选）**
|
|
266
|
+
|
|
267
|
+
```
|
|
268
|
+
我想让它用加权投票，并发数设成 6。
|
|
269
|
+
```
|
|
270
|
+
|
|
271
|
+
主代理 `vibe_math_set_params {"verdictMode":"weighted-vote","maxParallelThreshold":6}`，
|
|
272
|
+
并问你是否 `vibe_math_save_settings` 保存。
|
|
273
|
+
|
|
274
|
+
**Step 4 — 中途干预（可选）**
|
|
275
|
+
|
|
276
|
+
```
|
|
277
|
+
切到人工模式，我要在每个关键节点把关。
|
|
278
|
+
```
|
|
279
|
+
|
|
280
|
+
主代理 `vibe_math_set_mode {"mode":"manual"}`。之后每到一个关键节点它会 `vibe_math_list_decisions`
|
|
281
|
+
拿到决策，向你说明，等你 `vibe_math_decide {"id":"...","action":"approve"}`（或 `reject` / `override`）。
|
|
282
|
+
|
|
283
|
+
**Step 5 — 收尾**
|
|
284
|
+
|
|
285
|
+
```
|
|
286
|
+
结束了吗？结论是什么？
|
|
287
|
+
```
|
|
288
|
+
|
|
289
|
+
主代理 `vibe_math_status`：`qs.csv` 里 `q1` 已回写 `solved`，解法文件在 `Verified/` 里并被命名为
|
|
290
|
+
`q1-的解法_<唯一标识>.csv`。
|
|
291
|
+
|
|
292
|
+
> v2 对应的收尾是：`qs.json` 中 `q1.已解决 = true`，其解法 `正确概率 = 1`，相关命题进入 `Verified/`。
|
|
293
|
+
|
|
294
|
+
---
|
|
295
|
+
|
|
296
|
+
## 🖼️ 实际使用示例（长截图）
|
|
297
|
+
|
|
298
|
+
> 截图很长，这里默认**折叠**：点击下方「展开」才加载整张长图，避免它占满页面、遮挡前后文字。
|
|
299
|
+
|
|
300
|
+
<details>
|
|
301
|
+
<summary>📸 展开查看实际使用示例长截图</summary>
|
|
302
|
+
|
|
303
|
+
|
|
304
|
+
|
|
305
|
+
</details>
|
|
306
|
+
|
|
307
|
+
---
|
|
308
|
+
|
|
309
|
+
## ⚙️ 参数速查表
|
|
310
|
+
|
|
311
|
+
### v1（经典）默认值
|
|
312
|
+
|
|
313
|
+
| 参数 | 默认 | 说明 |
|
|
314
|
+
|---|---|---|
|
|
315
|
+
| `mode` | `auto` | `auto` / `manual` |
|
|
316
|
+
| `maxParallelThreshold` | 4 | 全局最大并发子代理数 |
|
|
317
|
+
| `solverMaxRounds` | 20 | 每个求解方向最大迭代轮数 |
|
|
318
|
+
| `verifierCount` | 3 | 每验证单元独立验证器数（≥3） |
|
|
319
|
+
| `debateMaxRounds` | 5 | 验证辩论最大轮数 |
|
|
320
|
+
| `verdictMode` | `direct-veto` | `direct-veto` / `weighted-vote` |
|
|
321
|
+
| `provider` / `model` | 空 | 子代理模型（空 = 继承根代理） |
|
|
322
|
+
| `solverPersona` / `verifierPersona` | 空 | 注入求解器/验证器的额外要求 |
|
|
323
|
+
| `solverToolAllow` / `solverToolDeny` | `[]` | 求解器允许/禁止的工具（硬性 toolFilter） |
|
|
324
|
+
| `verifierToolAllow` / `verifierToolDeny` | `[]` | 验证器允许/禁止的工具 |
|
|
325
|
+
| `solverMaxToolCalls` / `verifierMaxToolCalls` | 0 | 每轮外部工具调用上限（0=不限，软性） |
|
|
326
|
+
| `reportIntervalMs` | 0 | 0 = 仅事件驱动（有代理状态更新等事件才写报告）；>0 = 定时自动写（毫秒） |
|
|
327
|
+
| `tickIntervalMs` | 2000 | 调度器心跳间隔（毫秒） |
|
|
328
|
+
| `activityLogCap` | 100 | 活动日志保留条数（report 最多显示 30 条） |
|
|
329
|
+
|
|
330
|
+
### v2（新架构）默认值
|
|
331
|
+
|
|
332
|
+
| 参数 | 默认 | 说明 |
|
|
333
|
+
|---|---|---|
|
|
334
|
+
| `mode` | `auto` | `auto` / `manual` |
|
|
335
|
+
| `maxParallelThreshold` | 4 | 全局最大并发子代理轮数（新派发前须 active < 阈值） |
|
|
336
|
+
| `solverMaxRounds` | 3 | 每个求解方向最大迭代轮数（agent_self_iteration 上限） |
|
|
337
|
+
| `directionsPerSolver` | 1 | 每个 solver 提示词可见的方向总数（1 = 只看自己方向、互不干扰；N>1 = 自己 + 最多 N-1 个其他活跃方向摘要） |
|
|
338
|
+
| `verifierCount` | 3 | 每个验证对象的独立验证器数量 |
|
|
339
|
+
| `debateMaxRounds` | 5 | 验证辩论（交流群）最大轮数 |
|
|
340
|
+
| `verdictMode` | `flat` | `flat` = 均衡机制（不一致判 0.5）/ `forced` = 强制裁决（历史准确率+严谨性加权） |
|
|
341
|
+
| `reportMode` | `file` | `file` = 写报告文件 / `push` = 推送主代理汇报 / `both` |
|
|
342
|
+
| `promoteValueThreshold` | 0.7 | Propos 中「价值/关键性」≥ 该值且未决(0,1) 的命题自动加入 qs.json |
|
|
343
|
+
| `priorityAdjust` | `none` | `none` / `deadend-deprioritize`（全死路降优先级）/ `survival-map`（按存活率重算） |
|
|
344
|
+
| `proposPriorityAdjust` | `none` | 命题优先级动态调整：`none` / `progress-graded`（按定论接近度+证明/证伪材料量重算，越接近定论越优先验证） |
|
|
345
|
+
| `provider` / `model` | 空 | 子代理模型（空 = 继承根代理） |
|
|
346
|
+
| `solverPersona` / `verifierPersona` / `explorerPersona` | 空 | 注入求解器/验证器/explorer 提示词开头的人格/要求 |
|
|
347
|
+
| `knowledgeContext` | 空 | 共享知识/数据模型说明（空 = 内置完整版：对象/属性定义、概率语义、文件夹用途、输出完整性要求；非空 = 覆盖并注入所有子代理提示词） |
|
|
348
|
+
| `solverToolAllow` / `solverToolDeny` | `[]` | 求解器允许/禁止的工具 |
|
|
349
|
+
| `verifierToolAllow` / `verifierToolDeny` | `[]` | 验证器允许/禁止的工具 |
|
|
350
|
+
| `solverAllowNetwork` / `verifierAllowNetwork` | 空 | 网络工具开关（web_search/web/fetch）：空=继承全部；`true`=在已有 allow 列表时补入；`false`=禁止 |
|
|
351
|
+
| `solverAllowScripts` / `verifierAllowScripts` | 空 | 脚本工具开关（bash/pwsh）：同上 |
|
|
352
|
+
| `solverMaxToolCalls` / `verifierMaxToolCalls` | 0 | 每轮外部工具调用上限（0=不限） |
|
|
353
|
+
| `reportIntervalMs` | 0 | 0 = 仅事件驱动（有状态更新才写/推）；>0 = 定时自动汇报（毫秒） |
|
|
354
|
+
| `tickIntervalMs` | 2000 | 调度器心跳间隔（毫秒） |
|
|
355
|
+
| `activityLogCap` | 100 | 活动日志保留条数（report 最多显示 30 条） |
|
|
356
|
+
| `maxExplorerRetries` | 3 | explorer 拆方向失败的重派生上限 |
|
|
357
|
+
|
|
358
|
+
---
|
|
359
|
+
|
|
360
|
+
## 📝 断点续跑 & 人工干预（两大硬性需求）
|
|
361
|
+
|
|
362
|
+
- **断点续跑**：所有状态落盘到 `VibeMath_State/*.json`，每个子代理都是 DSH 的 **continuable 持久会话**（对话由 DSH 自动保存）。重启后新开会话 → `vibe_math_resume` 即可续跑。v2 额外用**进程纪元**区分"同进程暂停→恢复"（保留存活子代理继续）与"跨进程重启"（清理陈旧任务）。
|
|
363
|
+
- **中途人工干预**：`manual` 模式在关键节点（v1：brainstorm/solver 派发、验证裁决、晋升 Verified；v2：explorer/solver 派发、验证裁决）挂起决策；可随时 `set_mode auto` 切回自动；可对任意子代理 `message_agent` / `interrupt_agent`。
|
|
364
|
+
- **进度汇报**：默认**事件驱动** —— 只有代理状态更新等事件发生时才会写 `Progress_Logs/report.json`（v2 的 `reportMode` 可 `file`/`push`/`both`，`push` 通过 `rootAgent.followup()` 唤醒主代理主动汇报）；只有把 `reportIntervalMs` 设为 >0 才启动定时自动汇报（间隔毫秒）。
|
|
365
|
+
|
|
366
|
+
---
|
|
367
|
+
|
|
368
|
+
## 📚 规格文档
|
|
369
|
+
|
|
370
|
+
- **v1（经典）**：[`vibe-math-v1/实现方案-多代理数学问题求解与验证框架.md`](vibe-math-v1/实现方案-多代理数学问题求解与验证框架.md)
|
|
371
|
+
- **v2（新架构）**：[`vibe-math-v2/实现方案.md`](vibe-math-v2/实现方案.md)
|
|
372
|
+
|
|
373
|
+
---
|
|
374
|
+
|
|
375
|
+
## ⚠️ 已知边界（有意简化）
|
|
376
|
+
|
|
377
|
+
**v1**：
|
|
378
|
+
- `Pending_Verification` 按文件逐个拆解，未做跨文件的“去重 / 引用整合”（不损正确性）。
|
|
379
|
+
- `weighted-vote` 会记录每个验证器的历史准确率 + 严谨性权重，但最终裁决仍遵循“证伪优先 / 全 Uncertain→False”（数值权重仅用于审计）。
|
|
380
|
+
- manual 模式在第一个未决关键节点暂停整条主循环。
|
|
381
|
+
|
|
382
|
+
**v2**：
|
|
383
|
+
- 安装器带**版本化自动更新**：每次 DSH 启动时对比包版本与 `<presetRoot>/.vibe-math-installed.json` 记录——版本升级会自动替换**未被手动修改**的 preset 文件（哈希一致才覆盖）；你改过的文件会被保留并在日志中提示。无记录的老安装首次会一次性刷新到当前版本。想强制全量重装：删除 `~/.dsh/.agent-presets/vibe-math-v1` 与 `vibe-math-v2` 目录后重启 DSH。
|
|
384
|
+
- `flat` 裁决在辩论不一致时直接判 `0.5`；`forced` 按历史准确率+置信度加权。
|
|
385
|
+
- `never` 优先级的问题/命题**永不调度**，且不阻塞严格终止（视为主动弃权）。
|
|
386
|
+
- 两个 preset 文件互相独立、可共存；同一会话同时只能选一个预设。
|
|
387
|
+
|
|
388
|
+
---
|
|
389
|
+
|
|
390
|
+
## 📄 License
|
|
391
|
+
|
|
392
|
+
MIT
|