概览
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.收起技术说明
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.
社区 · Topic 自动分析 — 通过 GitHub dsh-plugin Topic 自动发现。静态检查在不执行第三方代码的前提下，验证了固定公开版本的根目录 bundle 契约与已提交文件；这不等于人工审核、安全审计、运行时冒烟测试、发布者身份验证或官方背书。
安装
从 GitHub 安装此组合包
CLI 会验证组合包、调用原生 DSH 安装，成功后才上报完成。
npx dshpub add AmethystLuna/logicprobe --ref 897e850a3c9c496ec11eedc37effcd734f45d45e能力
它贡献了什么
HostCordis loadable未核对
Client / UIHost only未核对
Model tools未核对未核对
Profile state未核对未核对
README / ZH
插件文档
English