logicprobe
声称核查技能：将设计文档与计划中的每条声称对照代码库事实核验，行为类声称升级为状态机/数据模型逻辑原语验证，支持前后回归、领域约束与并发风险挖掘。
- 形态
- Skill 技能
- 安装
- npm 包安装
- 需要密钥
- 否
- 近月下载
- 3,351
- 最近推送
- 昨天更新
Original description
设计与代码的声称核验：事实类对照源码，行为类跑可执行模型；含结构/依赖审查（单层与多粒度细化）、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.
安装方式
npm 包安装 · 安装无需配置
dsh plugin --profile web add dsh-logicprobe为什么是这个分数
近 1 天仍在推送；README 未给出明确安装命令，需要自己读；装完即可用，无需额外配置；近月 npm 下载 3351 次，star 不多但真在被使用。
- 维护活跃
- 100
- 实用度
- 90
- 生态热度
- 71
- 上手便捷
- 32
- 信号质量
- 18
- 数据置信度
- 75%
相关插件
embedded-workbench
AmethystLuna/embedded-workbench
嵌入式 C/C++ 固件开发工具箱：代理与技能覆盖 FreeRTOS、中断、NVM 存储、Keil MDK、ARMCLANG、HardFault 分析、状态机、架构原则与 LVGL 陷阱。
dsh-model-everything
AmethystLuna/dsh-model-everything
把设计、计划或文档里的声称抽成模型再判定：UML 图渲染、读取与审查；状态机、协议与数据模型按模型判定；迁移检查覆盖与回滚对称；并发声称挖掘后分派给能判定它的工具；依赖图审查；报告对比。
huashu-design
alchaincyf/huashu-design
Huashu Design 3.0 · 在 agent 里打一句话，拿回能交付的设计：网页 / App 原型 / 可编辑 PPTX / 动画 / 信息图 · 六个候选挑三个方向 · 84 种带样张的风格库 · 越用越懂你的外观账本与设计体检 · HTML-native design skill for Claude Code, Codex, Cursor & any agent