logicprobe

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)

Star

過去7日間の増加

コントリビューター

言語

Python

更新

2026-08-15

インストール

パッケージ情報から推定

dsh plugin --profile web add github:AmethystLuna/logicprobe

作者が npm に公開していないため、このコマンドは git のソースを取得します。pnpm ≥ 10 は git 依存の prepare スクリプトを明示的な許可なしには実行しないので、初回インストールにはその profile の pnpm-workspace.yaml に allowBuilds の記述が必要です——これはこのパッケージのコードを自分のマシンで実行させることを意味します。あわせて #commit で固定することを勧めます。

--profile の後ろは自分で付ける profile 名です。使っているものに置き換えてください。

シェアカード

README に貼るとこのページにリンクします。

バッジ（1 行）

[![dshfind](https://dshfind.com/api/badge/AmethystLuna/logicprobe?lang=ja)](https://dshfind.com/ja/plugins/AmethystLuna/logicprobe?ref=badge)

カード（440×200）

[![dshfind](https://dshfind.com/api/card/AmethystLuna/logicprobe?lang=ja)](https://dshfind.com/ja/plugins/AmethystLuna/logicprobe?ref=badge)

#agent-plugin #agent-skills #ai-agents #claude-code #codex #cordis #verification