DeepSeek Harness 插件Manifest 有效

formalswarm

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.

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

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

源码

安装

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

DSH 兼容性

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

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

安全信号

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

目前还没有发布自动安全检查信号。

来源与 Registry 记录

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

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

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

仓库活跃度

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