返回插件列表
logicprobe
@AmethystLuna
设计与代码的声称核验：事实类对照源码，行为类跑可执行模型；含结构/依赖审查（单层与多粒度细化）、UML 审查、基线对比与导出。dsh 原生工具 + 多平台 Agent Skills。 | Claim, architecture and behaviour verification for designs and code — facts against the source, behaviour as models, plus structure review, UML review, baseline diffs and exporters.
来源GitHub 自动发现
Manifest格式检查通过
Patch 文件文件已确认
安装测试未执行
$
dsh plugin --profile web add github:AmethystLuna/logicprobe#3d730e19a86d7437255368446ac97694457fee35插件信息
它能做什么
设计与代码的声称核验：事实类对照源码，行为类跑可执行模型；含结构/依赖审查（单层与多粒度细化）、UML 审查、基线对比与导出。dsh 原生工具 + 多平台 Agent Skills。 | Claim, architecture and behaviour verification for designs and code — facts against the source, behaviour as models, plus structure review, UML review, baseline diffs and exporters.
安装前请确认
- 同步时，Manifest 符合 dsh.bundle 格式，且引用的 Patch 文件真实存在。
- 查看 GitHub 仓库中的 README、依赖和额外配置。
- 本站不审计插件安全性，也没有执行安装测试。
验证范围
Manifest 格式检查通过
同步时，仓库根目录 package.json 符合 dsh.bundle 格式，Patch 文件检查结果单独展示；本站没有运行插件、测试安装或审计安全性。
GitHub Topics
agent-pluginagent-skillsai-agentsclaude-codecodexcordisdeepseek-harnessdsh-pluginverificationformal-verificationmodel-checkingstate-machineumlarchitecture-reviewdata-modelingdependency-analysis