dsh-model-everything
@AmethystLuna
设计与代码的建模与自动化审查：把断言抽成可执行模型再判定——UML、状态机与协议、数据模型与迁移、并发断言路由、结构审查、外部检查器导出、报告对比。dsh 原生插件。 | Modeling and automated review for designs and code — claims as executable models: UML, state machines and protocols, data models and migrations, concurrency claim routing, structure review, external-checker export and report diffing. Native dsh plugin.
dsh plugin --profile web add github:AmethystLuna/dsh-model-everything#61f248abe1e5d4e060ff16ef3003e584efe4ea3c它能做什么
设计与代码的建模与自动化审查：把断言抽成可执行模型再判定——UML、状态机与协议、数据模型与迁移、并发断言路由、结构审查、外部检查器导出、报告对比。dsh 原生插件。 | Modeling and automated review for designs and code — claims as executable models: UML, state machines and protocols, data models and migrations, concurrency claim routing, structure review, external-checker export and report diffing. Native dsh plugin.
安装前请确认
- 同步时，Manifest 符合 dsh.bundle 格式，且引用的 Patch 文件真实存在。
- 查看 GitHub 仓库中的 README、依赖和额外配置。
- 本站不审计插件安全性，也没有执行安装测试。
验证范围
同步时，仓库根目录 package.json 符合 dsh.bundle 格式，Patch 文件检查结果单独展示；本站没有运行插件、测试安装或审计安全性。