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.
- GitHub stars
- 1
- License
- MIT
- Added
- 2026-08-24
GitHub info
- GitHub stars
- 1
- License
- MIT
- Primary language
- JavaScript
- Last push
- Aug 21, 2026, 7:44 AM
- Maintainer
- AmethystLuna
- Added
- 2026-08-24
Install
dsh plugin --profile web add dsh-logicprobeTags
README badge
Add this Markdown to your plugin README to link back to its listing.
[](https://dshget.com/plugins/AmethystLuna/logicprobe)Related plugins
SkillsAegis
★ 1152Software-engineering method pack for coding agents, with skills for baseline-first planning, systematic debugging, prompt hygiene, verification before completion, and repair/retirement tracking.
superdesign-skill
★ 485Design skill for UI and marketing graphics on the Superdesign canvas: reads the repo for context, extracts its design system, then generates and iterates branchable design drafts, flow pages, and reusable components through the Superdesign CLI.
harmony-next.skills
★ 342HarmonyOS NEXT skill bundle for DeepSeek Harness with offline API references and DevEco, HDC, and emulator automation guidance.