前言¶
在 DeepSeek Harness (DSH) 的使用場景中，智能體經常負責提出方案和優化建議。然而，驗證這些方案是否真正可行、是否存在缺陷，往往需要額外的測試或人工檢查。FormalSwarm 插件旨在解決這一痛點，它將驗證過程結構化：通過多智能體生成獨立的論點，由對抗性批評者提出質疑，最後由“印章”基於真實的命令執行結果給出裁決，而非依賴 AI 生成的文本置信度。
插件簡介¶
FormalSwarm 是一個多智能體驗證插件，支持 DeepSeek Harness、Claude Code 和 ZCode 三個運行時。它通過獨立的“論點撰寫者”和“批評者”構建辯論場景，並由“印章”負責驗證。裁決結果通過真實的命令退出代碼計算得出，輸出爲 CONFIRM、REVISE 或 INCONCLUSIVE。該插件不僅適用於代碼倉庫的審查，也支持文檔驅動的非代碼類問題解決。
核心功能¶
-
多智能體驗證架構
插件內部包含獨立的論點撰寫者和對抗性批評者。論點撰寫者負責提出解決方案，批評者負責挑戰假設、檢查約束和識別漏洞。兩者獨立運行，確保評估的全面性。 -
基於命令退出代碼的裁決
裁決不是基於 AI 的語言評價或置信度評分，而是基於真實的命令執行結果。印章會運行定義好的檢查項，讀取退出代碼和用例計數，從而彙總出確定性的裁決結果。 -
文檔驅動的非代碼工作流
插件不強制要求 Git 倉庫，支持直接處理文檔文件夾。用戶可以通過提供目標、產品事實、約束條件等文檔，讓智能體在設計營銷漏斗、制定發佈計劃等非代碼任務上進行方案評審和驗證。 -
確定性彙總
插件提供 CONFIRM、REVISE、INCONCLUSIVE 三種確定性結果。輸出中會明確區分已驗證的部分和未驗證的建議，確保裁決有據可依。
典型用法¶
對於文檔驅動的任務，可以使用以下命令流程：
- 初始化倉庫
即使沒有 Git 倉庫，也可以通過--repo指向文檔文件夾進行初始化：
$FS init --repo ./funnel-project
-
定義驗證問題
在brief階段，需要明確回答的驗證問題以及可執行的檢查項。例如，驗證分配方案是否符合預算約束，或驗證提供的結果是否內部一致。 -
執行驗證
插件會啓動多智能體辯論，包括 2 個論點撰寫者、2 個批評者和 2 個印章驗證者。最終輸出包含裁決結果和驗證的具體範圍。
安裝與啓用¶
該插件遵循 MIT 許可證。使用前需確保環境滿足以下條件：
* Node.js 版本 >= 18.17
官方資源地址：
* GitHub 倉庫：https://github.com/fashionmascherine-svg/formalswarm
* 社區目錄：https://www.skillhub.cn/plugins/fashionmascherine-svg/formalswarm
適用場景與注意¶
- 適用場景：代碼變更審查、設計可測試流程（如漏斗設計）、非 Git 項目的方案評審。
- 注意事項：
- 不強制要求 Git 倉庫，可直接處理文檔文件夾。
- 缺失的證據被視爲有用信息，應在 Brief 中如實描述而非編造。
- 未經驗證的建議不能被視爲事實。
- 插件以當前 DSH 進程的權限運行，安裝前建議檢查源碼與許可證。
