logicprobe

Overview

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.

Community · Topic auto-analysis — Automatically discovered through the dsh-plugin GitHub Topic. Static checks verified a pinned public root bundle contract and committed files without executing third-party code. This is not a human review, security audit, runtime smoke test, publisher identity check, or official endorsement.

Install

Install this bundle from GitHub

The CLI validates the bundle, invokes native DSH, then reports completion.

npx dshpub add AmethystLuna/logicprobe --ref 897e850a3c9c496ec11eedc37effcd734f45d45e

Capabilities

What it contributes

HostCordis loadableNot inspected

Client / UIHost onlyNot inspected

Model toolsNot inspectedNot inspected

Profile stateNot inspectedNot inspected

README / EN

Package documentation

中文