FormalSwarm：基於多智能體與命令執行的多倉庫驗證工具

FormalSwarm 是一個基於多智能體的驗證插件，專爲 DeepSeek Harness 等環境設計，用於驗證智能體提出的方案。它通過獨立的論點撰寫者和批評者構建辯論場景，並由“印章”基於真實的命令執行結果（退出代碼）而非 AI 文本置信度來裁決，輸出 CONFIRM、REVISE 或 INCONCLUSIVE。該插件不僅適用於代碼審查，也支持文檔驅動的非代碼工作流，如營銷方案評審，不強制要求 Git 倉庫。