English

---

逻辑探针 (Logic Probe)

文档不是事实——代码才是。一个声称核查技能：逐条核验设计文档、架构规格、重构计划中每一个可验证的声称与代码库实际是否一致；遇到行为类声称时升级为可执行模型验证。v0.1.0。

跨平台 — 支持 Claude Code、Codex CLI、Cursor、Kimi CLI、OpenCode、ZCode。基于 Agent Skills 开放标准构建。

功能

阶段	内容
Phase 1-2	枚举每个可验证声称（API 名、文件路径、枚举值、数量、机制可行性）→ 逐条对照代码库给出证据
Phase 2a	对提取的状态机模型执行 7 项结构检查：可达性、死锁、活性、确定性、事件/守卫完备性、不变量有效性
Phase 2b	7 种对抗探针：意外事件、竞态交错、顺序置换、配对对称（lock/unlock）、边界轰炸、资源注入、最小反例
重构模式	前后模型对比——行为保持、不变量连续性、死锁回归、复杂度声称
输出	结构化发现：精确 file:line 证据、严重性分级、修正方向——绝不在核查中直接改代码

模型永远先以转换表形式展示并经用户确认后才运行——模型提取错误是验证的头号失败模式。

安装

Marketplace 安装（推荐）

在 ~/.claude/settings.json 中添加 marketplace：

{
  "extraKnownMarketplaces": {
    "logicprobe": {
      "source": { "source": "github", "repo": "AmethystLuna/logicprobe" }
    }
  }
}

然后通过 CLI 安装：

claude plugin install logicprobe@logicprobe

手动安装

git clone https://github.com/AmethystLuna/logicprobe.git ~/.claude/plugins/dev/logicprobe

然后在 ~/.claude/settings.json 中启用：

{
  "enabledPlugins": {
    "logicprobe@dev": true
  }
}

DeepSeek Harness (dsh)

原生 dsh 支持以 cordis 插件 bundle 的形式提供，位于仓库根（根 package.json 声明了 dsh.bundle）：

• 技能遵循 Agent Skills 开放标准，被 dsh 的 skill-filesystem provider 原样发现——零代码。
• bundle 将 claim 验证门禁（1% Rule / Red Flags / 主动建议）注入每个 agent 会话的第一个模型步骤——是 Claude SessionStart hook 在 dsh 的原生对应物，并注册了模型可见的目录条目（cordis_inspect）。
• 与 embedded-workbench bundle 的 Plan Verification Gate 配合，在 dsh 中闭环了 claim 验证链路。

安装：参见 .dsh/INSTALL.md（四种方式，从纯技能拷贝到 ）。