logicprobe
声称核查技能：将设计文档与计划中的每条声称对照代码库事实核验，行为类声称升级为可执行模型验证（结构检查与对抗探针）。
Claim-verification skill that checks design documents and plans against codebase facts, escalating behavioral claims to executable logic-primitive verification with structural checks and adversarial probes.
怎么安装
dsh plugin add dsh-logicprobe git clone https://github.com/AmethystLuna/logicprobe ~/.claude/skills/logicprobe npx -y dsh-logicprobe 简介
逻辑探针 (Logic Probe) 文档不是事实——代码才是。一个声称核查技能：逐条核验设计文档、架构规格、重构计划中每一个可验证的声称与代码库实际是否一致；遇到行为类声称时升级为可执行模型验证。 **跨平台** — 支持 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 安装（推荐） 在 ~/.…
推荐参考
信息
- 协议
- MIT
- 语言
- JavaScript
- GitHub 星标
- 1
- 月下载
- –
- 最近更新
- 2026-08-24
- 创建于
- 2026-08-12
基础安全检查
- 检查结果
- 无
- 收录来源
- curated:awesome-dsh-plugin.com, curated:awesome-dsh-plugin/awesome-dsh-plugin
- 主题标签
- agent-plugin, agent-skills, ai-agents, claude-code, codex, cordis, deepseek-harness, dsh-plugin, verification
同类推荐
mcp-server-chart
antvis/mcp-server-chart
🤖 一个可视化MCP和技能，包含使用@antvis的25+可视化图表。用于图表生成和数据分析。
ruflo
ruvnet/claude-flow
🌊 原始的代理元框架。部署智能多智能体群体，协调自主工作流，构建对话式AI系统。具备自适应记忆、自学习智能、RAG集成，并原生集成Claude Code / Codex / Hermes等。
caveman
JuliusBrussee/caveman
🪨 为什么用许多令牌，当少数令牌就能起作用——Claude Code技能，通过像穴居人一样说话减少65%的令牌。