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.
Author: AmethystLuna · Skills · Catalog snapshot: 2026-09-04Claim-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.
Imported third-party catalog description; not a Registry verification conclusion.3 stars · 1002 downloads
Signals were provided by the source catalog and do not imply quality or safety. 2026-09-04No exact-version test is available.
No Registry security conclusion is available.
No functional smoke evidence is available.
Plugin permissions have not been resolved.
Version and integrity have not been resolved.
Describe your task in a DSH conversation and mention logicprobe. The plugin manager can find this candidate through Registry, then inspect its actual source and version locally.
dsh-logicprobeExact version not resolvedgithub:AmethystLuna/logicprobeExact version not resolved