前言¶

在 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