logicprobe
Claim-verification skill that checks design documents and plans against codebase facts, escalating behavioral claims to executable logic-primitive verification for state machines and data models, with before/after regression, domain constraints, and concurrency risk mining.
Install
dsh plugin --profile web add dsh-logicprobe
For reproducible installs, append #commit to pin a specific revision.
Claim-verification skill that checks design documents and plans against codebase facts, escalating behavioral claims to executable logic-primitive verification for state machines and data models, with before/after regression, domain constraints, and concurrency risk mining.
No highlight list provided; see the repository README.
- Install and start DeepSeek Harness:
npx @deepseek-ai/dsh web - Run the install command above (the CLI resolves the plugin and verifies its source)
- Confirm with dsh plugins list; restart Harness if required
Plugins run with your dsh process permissions and may execute code during installation. Read the repository source and license first, and check for destructive commands or excessive access. This site only indexes; it does not vouch for third-party plugins.
| Repository | github.com/AmethystLuna/logicprobe |
| License | Not declared (see repo) |
| Primary language | — |
| Downloads | 2,263 |
| GitHub stars | 5 |
| Last push | — |
| Cataloged | 2026-08-24 |
| Category | Skills |
Facts come from a public catalog snapshot (2026-09-16); descriptions are rewritten by us.
Sources: the public DeepSeek Harness plugin catalog and each plugin's GitHub repository. This is an independent third-party directory with no affiliation to or endorsement from DeepSeek, High-Flyer, or the plugin authors.
