@amethystluna/logicprobe
Design document & plan claim verification — enumerate claims, verify against codebase facts, then escalate to logic-primitive verification (7 structural checks + 7 adversarial probes) for behavioral claims. Before/after model comparison for refactoring regression detection. Ships a native DeepSeek Harness (dsh) bundle that injects the claim-verification gate into the first model step.
AI Analysis
核心用途是验证设计文档、重构计划和行为声明的逻辑一致性。适合需要对复杂代码变更、死锁或时序问题进行对抗性审查的开发团队。
Install
npx -p @deepseek-ai/dsh dsh plugin --profile web add github:AmethystLuna/logicprobeREADME
Read the full README ↗Usage
The plugin auto-injects a capability notification into the first model step. The skill activates when its Use when description matches your task:
- Design doc / plan review — "Review this design document" → claim enumeration and codebase verification
- Behavioral questions — "could this state machine deadlock", "is this retry limit safe", "check this timing for bugs" → the skill is proactively suggested (not auto-loaded) as an optional verification pass
- Refactoring plans — the pipeline compares before/after models to flag undocumented behavioral changes
The skill auto-classifies depth (LIGHTWEIGHT / STANDARD / ESCALATED) from plan features in Phase 0, and appends a ## Plan Verification summary block as the audit trail.
Python is optional: when available, the reusable harness at references/verification-harness.py runs the checks; when not (air-gapped machines), the guide at references/logic-verification-guide.md provides a manual verification mode.
Configuration
In DeepSeek Harness, the bundle accepts a small configuration object:
| Key | Type | Default | Description |
|---|---|---|---|
enabled | boolean | true | Set to false to disable the session-start gate injection. |
gateContent | string | built-in gate text | Override the text injected into the first model step. |
To change it, override the row by id in your profile's cordis.patch.yml:
- insert:
- id: logicprobe
name: '@amethystluna/logicprobe'
config:
enabled: true
gateContent: |
...