DeepSeek Harness 插件Manifest 有效

formalswarm

适用于代码仓库的跨平台多智能体对抗验证插件，基于真实命令退出码计算确定性裁决。

开发者工具安全与策略Skills 与工作流

2GitHub Stars0Fork 数更新于2026-09-17

源码

安装

$ dsh plugin --profile <profile> add /path/to/FormalSwarm

插件能力与用途

基于公开仓库快照由 AI 辅助整理，内容必须有源码依据；它不等同于兼容性验证或安全验证。

源码有据

FormalSwarm 是一个跨平台的多智能体对抗验证与审查插件，支持 DeepSeek Harness、Claude Code 和 ZCode。它组织独立立论者、对抗性质疑者和封印验证者，通过真实执行命令的退出码和用例数，以完全确定性的方式计算裁决结果（CONFIRM、REVISE 或 INCONCLUSIVE），防止虚假置信度与静默失败。

核心能力

编排多智能体立论（Thesis）、反驳（Antithesis）、综合（Synthesis）与封印（Seal）多阶段辩论
基于真实命令退出状态码与用例计数确定性计算最终裁决
自动拦截空测试绿灯（empty green）、智能体静默挂掉以及无证据指责
自动分析 Python、Node.js、Rust、Go、Java、Ruby、PHP 等语言的代码仓库及测试命令
支持 DeepSeek Harness 原生 workflow 工具执行与 Cordis bundle 补丁配置
提供无需消耗 API Token 的离线门禁验证测试套件

适用场景

对关键代码变更或 Pull Request 进行多智能体对抗审查与测试验证
基于自动化测试套件与静态分析脚本执行严格的机器校验
基于结构化文档进行方案约束验证与逻辑抗压测试

适合谁

需要对 AI 智能体生成代码进行机器级验证的软件工程师
需要确定性审计结果与抗幻觉审查机制的研发团队

文档中可确认的限制

无法对缺乏可运行验证命令的主观或不可测量声明作出裁决
不支持针对共享服务的并发测试命令执行
子智能体操作限制在指定的临时工作目录内

DSH 兼容性

DSH Plugin 针对具体版本记录的运行验证证据。没有结果只代表我们尚未测试，不代表不兼容。

尚未测试目前还没有发布运行兼容性测试结果。

安全信号

来自包元数据和源码检查的客观信号。这些信息用于辅助判断，不代表绝对安全保证。

依赖数量

package.json 声明了 0 个运行依赖、0 个开发依赖、0 个 Peer 依赖和 0 个可选依赖。

信息

已声明 DSH Bundle

package.json 中声明了 DSH Bundle 元数据。

信息

已声明许可证

GitHub 报告该仓库许可证为 MIT。

信息

已获取 package.json

已获取仓库根目录 package.json，可用于 Registry 元数据检查。

信息

源码可用

本次 Registry 快照已获取公开 GitHub 源码元数据。

信息

来源与 Registry 记录

展示此条目的公开来源、Registry 分类与最近一次源码检查信息，并与运行验证结果明确分开。

源码仓库: fashionmascherine-svg/formalswarm
Registry 来源: GitHub · dsh-plugin topic
Registry 分类: Plugin Bundle
源码检查: 458719d · 2026-09-19

本页面基于公开源码信息独立收录。DSH Plugin 与 DeepSeek 及插件作者均无隶属关系；安装前请始终以作者仓库中的最新说明为准。

仓库活跃度

GitHub Stars: 2GitHub stars
Fork 数: 0
未关闭 Issue: 0
最近提交: 2026-09-17
最近发布: 未发现 Release