
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)
Install Logicprobe
Every command below is generated from this repository’s own package.json.
Not checked — and that is not the same as fine
package.json for this repository, so none of the publish spec rules could be applied. We do not know whether dsh plugin add activates anything here.Best-effort git install — unverified, may activate nothing
# 1. add the bundle to a profile — --profile my-profile points at $DSH_HOME/profiles/my-profile
dsh plugin --profile my-profile add github:AmethystLuna/logicprobe
# 2. verify: the bundle should show up as a layer in the resolved config
dsh --profile my-profile --dump-config
# 3. boot the profile
dsh --profile my-profileStep 2 is the one that matters here: if --dump-config shows no new layer after the install, this repository is not a bundle and there is nothing to activate.
Before you run it
- A plugin runs with your permissions once loaded: it can read your files, use your credentials and reach the network. Tool approvals do not sandbox it.
- Installing from git resolves a moving branch. Pin a commit —
github:AmethystLuna/logicprobe#<commit-sha>— so the code you reviewed is the code you install.
Prerequisites
- API key
- Not determined from the README.
- Network access
- Not determined from the README.
- Language
- Python
Install check
Every field the verdict was derived from, so you can re-derive it yourself
No check record is stored for this entry yet. That is why its verdict is Not checked — nothing was verified, which is not the same as nothing being wrong.
- Checked at
- Never — this entry has not been checked.
Topics
GitHub topics on this repository
More in Claude Code Codex Agent Skills
Ranked by similarity inside the cluster, not alphabetically
Deepseek Harness Installed Version
3960922808-jpg
我结合deepseek开源的源码,结合codex做出了deepseek harness可下载安装版本,不再是运行在浏览器里面了,功能齐全
Dsh Codex
life1996cou
同步codex中的会话到dsh,一键导入上下文.
Dsh Vscode
yubc8517-ui
DeepSeek Harness VS Code ???????: ? Codex ??? VS Code ????? DSH
Dsh Compat
Simidas
Inspect and compile Claude Code and Codex plugins into auditable DeepSeek Harness bundles.
reSanity
Thhoho
reSanity 散修 — 散户的认知组合管理:查证、避坑、记忆、复盘。一份 SKILL.md,零依赖。
Agent To Dsh Migration
ieookm
Claude Code / Codex / Qoder 项目一键迁移到 DeepSeek Harness(dsh):只读扫描产清单 + 预设/MCP 行生成 + 实测踩坑手册与自测配方(零依赖脚本)