FormalSwarm：基于多智能体与命令执行的多仓库验证工具

FormalSwarm 是一个基于多智能体的验证插件，专为 DeepSeek Harness 等环境设计，用于验证智能体提出的方案。它通过独立的论点撰写者和批评者构建辩论场景，并由“印章”基于真实的命令执行结果（退出代码）而非 AI 文本置信度来裁决，输出 CONFIRM、REVISE 或 INCONCLUSIVE。该插件不仅适用于代码审查，也支持文档驱动的非代码工作流，如营销方案评审，不强制要求 Git 仓库。