前言¶
在 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 进程的权限运行，安装前建议检查源码与许可证。
