插件目录 / Developer / formalswarm
formalswarm
未验证
2星标
Developer分类
GitHub来源
它做什么
Multi-agent validation for any repository: independent theses, adversarial critics, and a seal whose verdict is computed from real command exit codes — never from an agent's prose. One body, three runtimes: DeepSeek Harness, Claude Code, ZCode.
我们的判断
未验证 — 尚未完成安装测试，请自行评估。
未验证 — 尚未完成安装测试，请自行评估。
「已验证」仅表示我们的自动化流水线跑通了安装与启动，不是安全审计，也不是对第三方代码的背书。
安装
🧩 让 Agent 自动安装（推荐）
先安装目录插件，然后对 DeepSeek Harness 说「帮我安装这个插件」即可。
dsh plugin add dshbase-catalogWeb 配置：
dsh plugin --profile web add github:fashionmascherine-svg/formalswarm