logicprobe

设计文档写着"线程安全"、"最多重试三次"、"不可能死锁"——代码真的这么做的吗？Logic Probe 弥合文档与实现之间的信任鸿沟：它逐条枚举设计文档、架构规格和重构计划中每一个可验证的声称（API 名、文件路径、枚举值、机制可行性），再对照代码库给出精确到 file:line 的证据，按严重性分级并附修正方向，绝不在核查过程中直接改动代码。

遇到行为类声称时，插件会提取状态转换模型，经用户确认后才运行 22 项自动检查：8 项结构检查（可达性、死锁、活性、确定性、事件与守卫完备性、不变量有效性、单调变量）加上 14 项对抗探针（竞态交错、顺序置换、边界轰炸、配对对称、幂等重放、概率可达下界、最坏路径代价含正成本环检测、期限边界等）。重构场景支持前后模型对比，标记计划未声明的行为变化；数据模型审查验证迁移覆盖、copy 一致性和破坏性变更回归。引擎还能将 LogicModelV1 导出为 UPPAAL、TLA+、PRISM、SPIN 原生输入，与 coverageNotes 中的外部工具路由维度一一对应。

Logic Probe 适合在代码评审、架构设计或重构规划中需要证据而非直觉的工程师与技术负责人。它遵循 Agent Skills 开放标准，已适配 Claude Code、Codex CLI、Cursor、Kimi CLI、OpenCode、ZCode 及 DeepSeek Harness 等多个平台。Python 引擎为可选组件，提供离线兜底模式，无硬性依赖。