LogicProbe：核查设计文档声称并升级状态机验证

LogicProbe 是一款用于核查设计文档与代码一致性的技能插件，支持 Claude Code、Codex CLI、Cursor 及 DeepSeek Harness 等多平台。其核心功能包括：枚举文档中的可验证声称并对照代码库提供精确证据（如文件行号、严重性分级）；对状态机执行结构检查与对抗探针，验证死锁、活性等风险；支持重构前后的行为保持与不变量对比；以及数据模型迁移覆盖与一致性审查。在 DSH 环境中，它可组合验证多台状态机，并导出 UPPAAL、TLA+ 等外部模型检查器格式。安装需满足特定版本要求，通过 `dsh plugin add` 命令部署。使用时，用户需确认提取的逻辑模型以