Claim verification for AI coding agents — logic-primitive verification for state machines, data models, and concurrency risk in design docs & refactoring plans. Cross-platform Agent Skills + DSH native. | AI 编程助手声明核查插件：对设计文档与重构计划做逻辑原语验证，覆盖状态机、数据模型与并发风险，支持前后回归。跨平台 Agent Skills + DSH 原生。
Install verification: runtime verified (L5) · tested on dsh 0.1.7-rc.2 · last checked Install verification details →
What it doesAI
Verifies claims in AI coding agents' design docs and refactoring plans using structural and adversarial logic probes.
- 7 structural logic-primitive probes
- 7 adversarial logic-primitive probes
- Works with Claude Code, Codex, Cursor, Kimi, OpenCode, ZCode, dsh
Capability tags are AI-inferred or rule-extracted from the README (see badge) — vocabulary-limited, not install-verified. AI = inferred; README = literal keyword from the readme.
Installation
dsh plugin --profile web add dsh-logicprobe@0.7.0security scan passed · npm package v0.7.0
Install method: npm · runtime verified (L5)
Verification & Compatibility
Grouped by plugin version: each card lists the dsh versions actually tested against that artifact version and their install verdicts (L5 wins). Untested combinations are omitted — absence means untested, never assumed compatible. L1–L3 are a plugin-level static archive (independent of the dsh version — the same verdict on every dsh row): they sit in each row's level grid next to L4/L5, marked "static", while their evidence is stored once per plugin inside that row's "checks & evidence" instead of being duplicated per version.
External credentials (plugin-level): none detected
| plugin ＼ dsh | dsh 0.1.7-rc.2 current | dsh 0.1.7-alpha.2 | dsh 0.1.6-alpha.2 | dsh 0.1.6-alpha.1 | dsh 0.1.5-rc.2 |
|---|---|---|---|---|---|
| 0.7.0 | · | · | · | · | · |
| 0.6.8 | ✓ | ✓ | · | · | · |
| 0.6.7 | · | · | · | · | · |
| 0.6.6 | · | · | ✓ | ✓ | · |
| 0.6.5 | · | · | · | · | · |
0.7.0npm2026-09-28
dsh-logicprobe
No runtime install test for this version (static scan only) — compatibility unknown, never assumed.
0.6.8npm✓ 2 runtime-verified2026-09-25
dsh-logicprobe
✓dsh 0.1.7-rc.2current2026-09-25L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.1.7-rc.2
- • Plugin artifact: npm · dsh-logicprobe@0.6.8
ID: logicprobe@0.6.8@dsh0.1.7-rc.2 · profile: l3-fullscan
Issued: 2026-09-25 · expires: 2026-10-02
View checks & evidence
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
✓dsh 0.1.7-alpha.22026-09-23L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.1.7-alpha.2
- • Plugin artifact: npm · dsh-logicprobe@0.6.8
ID: logicprobe@0.6.8@dsh0.1.7-alpha.2 · profile: l4-sandbox
Issued: 2026-09-23 · expires: 2026-09-30
View checks & evidence
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
0.6.7npm2026-09-20
dsh-logicprobe
No runtime install test for this version (static scan only) — compatibility unknown, never assumed.
0.6.6npm✓ 2 runtime-verified2026-09-19
dsh-logicprobe
✓dsh 0.1.6-alpha.22026-09-19L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.1.6-alpha.2
- • Plugin artifact: npm · dsh-logicprobe@0.6.6
ID: logicprobe@0.6.6@dsh0.1.6-alpha.2 · profile: l4-sandbox
Issued: 2026-09-19 · expires: 2026-09-26
View checks & evidence
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
✓dsh 0.1.6-alpha.12026-09-17L5 · runtime verified
- • Node.js: v24.14.0
- • DSH: 0.1.6-alpha.1
- • Plugin artifact: npm · dsh-logicprobe@0.6.6
ID: logicprobe@0.6.6@dsh0.1.6-alpha.1 · profile: l4-sandbox
Issued: 2026-09-17 · expires: 2026-09-24
View checks & evidence
active in loader tree (150 entries)
L1–L3 are plugin-level static conclusions (baseline, identical across dsh versions): evidence is stored once per plugin.
0.6.5npm2026-09-14
dsh-logicprobe
No runtime install test for this version (static scan only) — compatibility unknown, never assumed.
Only the latest 3 published versions are shown; source-snapshot (commit hash) groups, unstated groups and older versions are omitted — the full archive stays in the data layer (snapshot/unstated groups appear only when a plugin has no published version).
Author badges
Embed the official badges in your README to showcase security & install-test status:
`[](https://www.dsh.so/artifact/logicprobe/)``[](https://www.dsh.so/artifact/logicprobe/)``[](https://www.dsh.so/artifact/logicprobe/)``[](https://www.dsh.so/artifact/logicprobe/)`Security Report
Automated static scan, not manual review.
Vet static analysis found no suspicious behavior — verdict is clean.
v0.7.0dsh manifest0.7.0npm2026-09-270.7.0same versionclean · npmVet is an AST static scan (npm artifact or git source).
Disclaimer: automated static analysis, not a security guarantee. Always review what you install.
Risk details
Activity
Last commit 2026-09-27 · activity: Active
• Repo created: 2026-08-12
• Stars: ★ 5 · Forks: 0
• Health: Active — committed within last 30 days
Source
Author README
View on GitHub ↗The author's original README from the repository — fetched live, unedited (the English page loads the default README).