logicprobe

Plugins in this repository

• dsh-logicprobev0.3.1✓

  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.

  package.json

  package.json

  dsh.bundle.patch

  cordis.patch.yml

  Official core packages (7)

  • @deepseek-ai/cordis^4.0.1shared
  • @deepseek-ai/dsh-agent^0.1.0-rc.6shared
  • @deepseek-ai/dsh-llm^0.0.1-rc.1shared
  • @deepseek-ai/dsh-session^0.0.1-rc.1shared
  • @deepseek-ai/dsh-skill-filesystem^0.1.0-rc.6shared
  • @deepseek-ai/dsh-tools^0.1.0-rc.6shared
  • @deepseek-ai/schemastery^3.18.1shared

Paths are pinned to commit d1334119eb1c

Overview

Claim verification for AI coding agents — 7 structural + 7 adversarial logic-primitive probes against design docs & refactoring plans | AI 编程助手声明核查插件:对设计文档与重构计划做逻辑原语验证(7 结构 + 7 对抗探针) for Claude Code, Codex, Cursor, Kimi, OpenCode, ZCode and DeepSeek Harness (dsh)