DeepSeek Harness 插件Manifest 有效

dsh-model-everything

用于 DeepSeek Harness 的架构与代码可执行建模及自动化审查插件，支持 UML、状态机与数据迁移验证。

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

0GitHub Stars0Fork 数更新于2026-10-25

源码项目主页

安装

$ dsh plugin --profile <profile> add "file:$PWD"

插件能力与用途

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

源码有据

dsh-model-everything 是专为 DeepSeek Harness 设计的原生建模与自动化审查插件。该插件将软件设计与代码中的行为断言抽象为可执行模型，通过引擎运行得出带有哈希出处、可复算的确定性结论与反例路径。它覆盖状态机协议判定、UML 双向审查、数据模型迁移回归、多机死锁探测，并支持将模型导出至 UPPAAL、TLA+、PRISM 和 SPIN 等外部模型检验工具。

核心能力

状态机与协议的可执行验证、死端/吸收环检测与最短反例搜索
UML 2.5 图族（Mermaid、PlantUML）的渲染、解析与往返一致性审查
数据模型定义与迁移方案检查，包括覆盖率、拷贝一致性与回滚对称性
多状态机协作组合验证，排查死锁与永不发生的握手会合
挖掘并发/异步声明并定向路由至对应验证工具
将已验证模型导出为 UPPAAL、TLA+、PRISM 与 SPIN 输入格式
版本化基线报告比对（report_diff）以及会话首步路由提示词注入门禁

适用场景

复杂系统重构前后建立模型快照，通过报告差分精准拦截行为倒退
排查工作流、分发器或协议状态机中的不可达状态、锁未配对和超时超预算问题
扫描项目代码与架构图中的分层违规、悬空引用及循环依赖
核验数据库 Schema 迁移的前后字段映射与必填字段数据源完备性

适合谁

设计高复杂度业务协议与分布式工作流的系统架构师
实施核心模块重构与严格质量门禁的后端开发工程师
在 DeepSeek Harness 环境中进行自动化模型驱动审查的研发团队

文档中可确认的限制

模型状态空间过大枚举受限时会返回 truncated 标记与未决检查，而非绝对通过
并发扫描主要挖掘并路由并发断言，本身不直接执行全量运行时无锁/线程安全证明
图审查只验证图与声明模型的一致性，不能单凭图替代源码级逻辑核查

DSH 兼容性

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

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

安全信号

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

依赖数量

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

信息

已声明 DSH Bundle

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

信息

已声明许可证

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

信息

已获取 package.json

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

信息

源码可用

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

信息

来源与 Registry 记录

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

源码仓库: AmethystLuna/dsh-model-everything
Registry 来源: GitHub · dsh-plugin topic
Registry 分类: Plugin
源码检查: 2898b34 · 2026-10-25

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

仓库活跃度

GitHub Stars: 0GitHub stars
Fork 数: 0
未关闭 Issue: 0
最近提交: 2026-10-25
最近发布: 2026-10-22