前言¶

設計文檔、架構規格和重構計劃裏經常出現這類問題：文檔寫得很確定，但代碼實際行爲可能不一致。例如“遷移不會破壞字段”“重試上限是安全的”“這個狀態機不會死鎖”，這些聲稱都需要落到代碼事實或可執行模型上，而不是停留在文字描述。

LogicProbe 是一個聲稱覈查技能插件。它先從文檔或計劃中枚舉可驗證聲稱，再逐條對照代碼庫給出證據；遇到行爲類聲稱時，會升級爲可執行模型驗證。下面介紹它的核心能力、安裝方式、典型用法和注意事項。

這是什麼¶

• 倉庫：AmethystLuna/logicprobe
• 類型：skill 插件
• 許可證：MIT
• 支持環境：Claude Code、Codex CLI、Cursor、Kimi CLI、OpenCode、ZCode 和 DeepSeek Harness（dsh）

資料未提供獨立維護者字段；當前可確認的信息主要來自倉庫路徑 AmethystLuna/logicprobe 及其已抓取文檔。

核心功能¶

文檔聲稱覈查¶

LogicProbe 會處理設計文檔、架構規格、重構計劃中的可驗證聲稱，並逐條對照代碼庫給出證據。

輸出包括：

• 精確 file:line 證據
• 嚴重性分級
• 修正方向
• coverageNotes 外部工具路由

狀態機模型驗證¶

LogicProbe 可對狀態機模型執行結構檢查和對抗探針。

已覈實功能描述爲：

• 8 項結構檢查：S1-S8
• 14 項對抗探針：A1-A14

需要注意，已覈實資料中對探針數量存在不一致表述。安裝後應以包內實際說明爲準。

logicprobe_verify 支持以下驗證維度：

• BEFORE/AFTER 對比
• cost/budget
• weight/probability
• onEntry/onExit
• maxTicks/tickEvents

已有 LogicModelV1 JSON 時，可運行 logicprobe-engine.py 的 verify、compose、export 能力。

重構模式¶

重構模式用於對比前後模型，關注：

• 行爲保持
• 不變量連續性
• 死鎖迴歸
• 複雜度聲稱

數據模型模式¶

數據模型模式支持 DataModelV1 數據模型驗證，關注：

• 遷移覆蓋
• copy 一致性
• before/after 破壞性變更迴歸

數據模型/遷移審查可以使用 logicprobe-datamodel 技能。

併發風險挖掘¶

LogicProbe 會掃描文檔或計劃中的併發安全聲稱，並標記需要專用驗證的條目。

DSH bundle 能力¶

在 DeepSeek Harness 中，LogicProbe 以 bundle 形式提供。

DSH bundle 會在會話首輪注入 claim 驗證門禁，並註冊：

• cordis_inspect
• logicprobe_verify
• logicprobe:mode

logicprobe_compose_verify 支持兩臺及以上狀態機組合驗證，報告：

• C1 組合死鎖
• C2 握手永不觸發

logicprobe_export 可導出：

• UPPAAL
• TLA+
• PRISM
• SPIN

這些導出物對應外部模型檢查器的原生輸入。

安裝與啓用¶

DSH 安裝¶

先確認 DSH 版本要求，再執行安裝。

package.json 聲明版本爲 0.6.0，dsh.engines 要求：

dsh >=0.1.0-rc.7

已覈實的 DSH 安裝命令爲：

dsh plugin add "github:AmethystLuna/logicprobe"

DSH npm 包名爲 dsh-logicprobe，無 scope。

在 web profile 的 package.json 中，依賴鍵與 dsh.profile.bundles 必須寫：

dsh-logicprobe

否則 DSH 加載器可能因找不到 node_modules/dsh-logicprobe 而啓動失敗。

如果插件管理器拒絕安裝，先確認 @deepseek-ai/* 包是否聲明在 peerDependencies 中，而不是 dependencies。

其他平臺環境要求¶

已覈實環境要求爲：

• Claude Code v2.1+
• Codex CLI 最新
• Cursor 2.5+
• Kimi CLI 最新
• OpenCode 最新
• ZCode 3.0+
• DeepSeek Harness（dsh）dev preview：已實測 mainline 2026-08-14

Python 爲可選項：

• Python 3.6+ 僅自動驗證工具需要
• 手動兜底模式無需依賴

典型用法¶

下面這些用法來自已覈實資料。

設計文檔或計劃審查¶

示例觸發：

Review this design document

用於設計文檔/計劃審查，觸發聲稱枚舉與代碼庫覈查。

行爲類問題¶

示例觸發：

could this state machine deadlock

is this retry limit safe

check this timing for bugs

這類行爲類問題會作爲可選驗證被主動建議。

重構計劃¶

用於對比前後模型，並標記計劃未聲明的行爲變化。

數據模型或遷移審查¶

示例觸發：

is this migration non-breaking

does this copy cover all required fields

用於數據模型/遷移審查，可使用 logicprobe-datamodel 技能。

已有 LogicModelV1 JSON¶

已有 LogicModelV1 JSON 時，可運行 logicprobe-engine.py 的：

verify
compose
export

配置與限制¶

DSH bundle 配置¶

DSH bundle 支持以下配置鍵：

enabled
gateContent
interaction

具體默認值以包內文檔爲準。

模型確認流程¶

模型必須先以轉換表展示，並經過用戶確認後才運行。

已覈實資料指出：模型提取錯誤是驗證的頭號失敗模式。

運行時權限¶

LogicProbe 運行時只讀取包內 skills/ 目錄。

它：

• 不讀取憑據
• 不發起網絡連接
• 不訪問 DSH 會話上下文之外的用戶數據

但插件會以當前 dsh 進程權限運行。安裝前建議檢查源碼、依賴與 MIT 許可證。

適用場景¶

LogicProbe 適合以下場景：

• 審查設計文檔是否和代碼一致
• 覈查架構規格中的行爲聲稱
• 審查重構計劃是否引入未聲明行爲變化
• 驗證狀態機是否存在死鎖、活性或時序風險
• 審查數據模型遷移與 copy 一致性
• 標記併發安全聲稱是否需要專用驗證

小結¶

LogicProbe 的價值在於把“文檔說應該這樣”變成“代碼事實或可執行模型能證明是否這樣”。它適合需要把設計文檔、重構計劃、狀態機行爲或數據遷移聲稱落到證據鏈上的開發流程。

已覈實資料未提供具體星標數或目錄頁 URL。

GitHub 倉庫：

https://github.com/AmethystLuna/logicprobe