LogicProbe：覈查設計文檔聲稱並升級狀態機驗證

LogicProbe 是一款用於覈查設計文檔與代碼一致性的技能插件，支持 Claude Code、Codex CLI、Cursor 及 DeepSeek Harness 等多平臺。其核心功能包括：枚舉文檔中的可驗證聲稱並對照代碼庫提供精確證據（如文件行號、嚴重性分級）；對狀態機執行結構檢查與對抗探針，驗證死鎖、活性等風險；支持重構前後的行爲保持與不變量對比；以及數據模型遷移覆蓋與一致性審查。在 DSH 環境中，它可組合驗證多臺狀態機，並導出 UPPAAL、TLA+ 等外部模型檢查器格式。安裝需滿足特定版本要求，通過 `dsh plugin add` 命令部署。使用時，用戶需確認提取的邏輯模型以