logicprobe
Claim verification for AI coding agents — 7 structural + 7 adversarial logic-primitive probes against design docs & refactoring plans | AI 编程助手声明核查插件:对设计文档与重构计划做逻辑原语验证(7 结构 + 7 对抗探针) for Claude Code, Codex, Cursor, Kimi, OpenCode, ZCode and DeepSeek Harness (dsh)
PluginDeveloperKnowledgeAI ModelsCode reviewFile
Verification
L2 · Structured
Security
Pending
Health
Active
Trust
Bronze
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
AI-generated from the repo README — for reference only.
Installation
dsh plugin --profile web add logicprobeInstall method: npm · not yet tested in container (L3+)
Compatibility
| DSH Version | Status |
|---|---|
| not stated | Declared — not tested |
Requirements
- • Node.js: not stated
- • DSH: declared "not stated"
- • External credentials: none detected
Security Report
Automated scan, not manual review.
• Dependency vulnerabilities: — (pending)
• Suspicious permissions: — (pending)
• Hardcoded secrets: — (pending)
• Supply chain risks: — (pending)
⚠ Security audit scheduled — results will appear here after the next scan.
Activity
Last commit 2026-08-14 · activity: active
6 mo