前言¶

设计文档、架构规格和重构计划里经常出现这类问题：文档写得很确定，但代码实际行为可能不一致。例如“迁移不会破坏字段”“重试上限是安全的”“这个状态机不会死锁”，这些声称都需要落到代码事实或可执行模型上，而不是停留在文字描述。

LogicProbe 是一个声称核查技能插件。它先从文档或计划中枚举可验证声称，再逐条对照代码库给出证据；遇到行为类声称时，会升级为可执行模型验证。下面介绍它的核心能力、安装方式、典型用法和注意事项。

这是什么¶

• 仓库：AmethystLuna/logicprobe
• 类型：skill 插件
• 许可证：MIT
• 支持环境：Claude Code、Codex CLI、Cursor、Kimi CLI、OpenCode、ZCode 和 DeepSeek Harness（dsh）

资料未提供独立维护者字段；当前可确认的信息主要来自仓库路径 AmethystLuna/logicprobe 及其已抓取文档。

核心功能¶

文档声称核查¶

LogicProbe 会处理设计文档、架构规格、重构计划中的可验证声称，并逐条对照代码库给出证据。

输出包括：

• 精确 file:line 证据
• 严重性分级
• 修正方向
• coverageNotes 外部工具路由

状态机模型验证¶

LogicProbe 可对状态机模型执行结构检查和对抗探针。

已核实功能描述为：

• 8 项结构检查：S1-S8
• 14 项对抗探针：A1-A14

需要注意，已核实资料中对探针数量存在不一致表述。安装后应以包内实际说明为准。

logicprobe_verify 支持以下验证维度：

• BEFORE/AFTER 对比
• cost/budget
• weight/probability
• onEntry/onExit
• maxTicks/tickEvents

已有 LogicModelV1 JSON 时，可运行 logicprobe-engine.py 的 verify、compose、export 能力。

重构模式¶

重构模式用于对比前后模型，关注：

• 行为保持
• 不变量连续性
• 死锁回归
• 复杂度声称

数据模型模式¶

数据模型模式支持 DataModelV1 数据模型验证，关注：

• 迁移覆盖
• copy 一致性
• before/after 破坏性变更回归

数据模型/迁移审查可以使用 logicprobe-datamodel 技能。

并发风险挖掘¶

LogicProbe 会扫描文档或计划中的并发安全声称，并标记需要专用验证的条目。

DSH bundle 能力¶

在 DeepSeek Harness 中，LogicProbe 以 bundle 形式提供。

DSH bundle 会在会话首轮注入 claim 验证门禁，并注册：

• cordis_inspect
• logicprobe_verify
• logicprobe:mode

logicprobe_compose_verify 支持两台及以上状态机组合验证，报告：

• C1 组合死锁
• C2 握手永不触发

logicprobe_export 可导出：

• UPPAAL
• TLA+
• PRISM
• SPIN

这些导出物对应外部模型检查器的原生输入。

安装与启用¶

DSH 安装¶

先确认 DSH 版本要求，再执行安装。

package.json 声明版本为 0.6.0，dsh.engines 要求：

dsh >=0.1.0-rc.7

已核实的 DSH 安装命令为：

dsh plugin add "github:AmethystLuna/logicprobe"

DSH npm 包名为 dsh-logicprobe，无 scope。

在 web profile 的 package.json 中，依赖键与 dsh.profile.bundles 必须写：

dsh-logicprobe

否则 DSH 加载器可能因找不到 node_modules/dsh-logicprobe 而启动失败。

如果插件管理器拒绝安装，先确认 @deepseek-ai/* 包是否声明在 peerDependencies 中，而不是 dependencies。

其他平台环境要求¶

已核实环境要求为：

• Claude Code v2.1+
• Codex CLI 最新
• Cursor 2.5+
• Kimi CLI 最新
• OpenCode 最新
• ZCode 3.0+
• DeepSeek Harness（dsh）dev preview：已实测 mainline 2026-08-14

Python 为可选项：

• Python 3.6+ 仅自动验证工具需要
• 手动兜底模式无需依赖

典型用法¶

下面这些用法来自已核实资料。

设计文档或计划审查¶

示例触发：

Review this design document

用于设计文档/计划审查，触发声称枚举与代码库核查。

行为类问题¶

示例触发：

could this state machine deadlock

is this retry limit safe

check this timing for bugs

这类行为类问题会作为可选验证被主动建议。

重构计划¶

用于对比前后模型，并标记计划未声明的行为变化。

数据模型或迁移审查¶

示例触发：

is this migration non-breaking

does this copy cover all required fields

用于数据模型/迁移审查，可使用 logicprobe-datamodel 技能。

已有 LogicModelV1 JSON¶

已有 LogicModelV1 JSON 时，可运行 logicprobe-engine.py 的：

verify
compose
export

配置与限制¶

DSH bundle 配置¶

DSH bundle 支持以下配置键：

enabled
gateContent
interaction

具体默认值以包内文档为准。

模型确认流程¶

模型必须先以转换表展示，并经过用户确认后才运行。

已核实资料指出：模型提取错误是验证的头号失败模式。

运行时权限¶

LogicProbe 运行时只读取包内 skills/ 目录。

它：

• 不读取凭据
• 不发起网络连接
• 不访问 DSH 会话上下文之外的用户数据

但插件会以当前 dsh 进程权限运行。安装前建议检查源码、依赖与 MIT 许可证。

适用场景¶

LogicProbe 适合以下场景：

• 审查设计文档是否和代码一致
• 核查架构规格中的行为声称
• 审查重构计划是否引入未声明行为变化
• 验证状态机是否存在死锁、活性或时序风险
• 审查数据模型迁移与 copy 一致性
• 标记并发安全声称是否需要专用验证

小结¶

LogicProbe 的价值在于把“文档说应该这样”变成“代码事实或可执行模型能证明是否这样”。它适合需要把设计文档、重构计划、状态机行为或数据迁移声称落到证据链上的开发流程。

已核实资料未提供具体星标数或目录页 URL。

GitHub 仓库：

https://github.com/AmethystLuna/logicprobe