dsh.so
中文
English中文
logicprobe avatar

logicprobe

Claim verification for AI coding agents — logic-primitive verification for state machines, data models, and concurrency risk in design docs & refactoring plans. Cross-platform Agent Skills + DSH native. | AI 编程助手声明核查插件：对设计文档与重构计划做逻辑原语验证，覆盖状态机、数据模型与并发风险，支持前后回归。跨平台 Agent Skills + DSH 原生。

Plugin开发知识管理安全数据代码审查文件
验证
L5 · 运行已测
通过
风险
低风险
健康
活跃
信任
金

安装验证：运行验证通过 (L5) · 验证于 dsh 0.1.7-rc.2 · 验证日期 安装验证详情 →

安装验证徽章 dsh 0.1.7-rc.2安装验证徽章 dsh 0.1.5-rc.2安装验证徽章 dsh 0.1.2-rc.1

功能介绍AI

对 AI 编程助手的设计文档与重构计划进行声明核查，用 7 个结构探针和 7 个对抗探针做逻辑原语验证。

developerAIcode-reviewAIfileAI

能力标签为 AI 推断或 README 规则抽取（见角标），词表受限、未经安装验证；AI = 推断，README = 原文关键词。

安装

dsh plugin --profile web add dsh-logicprobe@0.7.0

安全扫描通过 · npm 包 v0.7.0

安装方式: npm · 运行验证通过 (L5)

验证与兼容性

按插件版本分组：每张卡是该插件版本实测过的 dsh 版本与安装兼容结论（L5 优先）。只列真测过的组合——未列出 = 未实测，不推定兼容。L1–L3 为插件级静态档（与 dsh 版本无关，各 dsh 行同值）：在行内「验证等级」格里与 L4/L5 并列显示、标注「静态」，证据体为插件级单份、随行内「查看检查项与证据」出现，不在各版本重复存储。

External credentials（插件级）：未检测到

安装兼容矩阵（速览 · 行 = 插件版本〔最近 5〕，列 = dsh 版本〔最近 5〕）
结论一览 → 证据在下方分版本卡片
插件版本 ＼ dshdsh 0.1.7-rc.2
当前
dsh 0.1.7-alpha.2dsh 0.1.6-alpha.2dsh 0.1.6-alpha.1dsh 0.1.5-rc.2
0.7.0·····
0.6.8✓✓···
0.6.7·····
0.6.6··✓✓·
0.6.5·····
安装兼容实测（按插件版本，组内按 dsh 版本）
图例：✓ L5 运行验证通过○ 生态插件◼ 生态应用✗ 失败
0.7.0npm2026-09-28

dsh-logicprobe

该版本无运行时安装实测（仅静态扫描）——兼容性未知，不推定。

0.6.8npm✓ 运行验证通过 22026-09-25

dsh-logicprobe

✓dsh 0.1.7-rc.2当前2026-09-25L5 · 运行验证通过
实测环境与工件
  • • Node.js: v24.14.0
  • • DSH: 0.1.7-rc.2
  • • 被测插件工件: npm · dsh-logicprobe@0.6.8
验证等级（L1–L3 为插件级静态档 · L4/L5 为该组合最新真测）
L1 静态
通过
L2 静态
通过
L3 静态
通过
L4 沙盒
通过
L5 运行
通过
在 dsh 沙盒中完成安装与运行冒烟——装得上、跑得起来
L5 · 运行验证通过 · dsh 0.1.7-rc.2 有效

ID: logicprobe@0.6.8@dsh0.1.7-rc.2 · 档位: l3-fullscan

签发：2026-09-25 · 有效至：2026-10-02

查看检查项与证据
L1 · 已找到✓ 通过
由 L3 推定✓ 通过
默认通过——L3 安装规范已通过（全库 L3 扫描策略）
L2 · 结构化✓ 通过
由 L3 推定✓ 通过
默认通过——L3 安装规范已通过（全库 L3 扫描策略）
L3 · 安装规范✓ 通过
安装命令已解析✓ 通过
来源：插件市场校验 · 方式：安装规范解析 · 采集于 2026-09-28
DSH 版本已声明✓ 通过
来源：插件市场校验 · 方式：DSH 版本声明 · 采集于 2026-09-28
L4 · 安装已测✓ 通过
受限沙盒内执行安装✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-24
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：19.2s
沙盒安装成功✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-24
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：19.2s
安装产物已确认✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-24
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：19.2s
安装版本已解析✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-24
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：19.2s
L5 · 运行已测✓ 通过

已在加载器目录树中激活（150 个条目）

沙盒安装通过✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-24
安装源 dsh-logicprobe · 安装方式 复用 L4 沙盒
检查耗时：21ms
Web 启动就绪✓ 通过
来源：DSH 运行时 · 方式：Web 启动 · 采集于 2026-09-24
就绪行 dsh web: http://127.0.0.1:63683/?token=…
HTTP 服务响应✓ 通过
来源：DSH 运行时 · 方式：HTTP 请求 · 采集于 2026-09-24
探测路径 / · HTTP 200 · 耗时 21ms
插件清单中已激活✓ 通过
来源：DSH 运行时 · 方式：插件清单查询 · 采集于 2026-09-24
清单判定 active · 清单条目 150
命中：include:logicprobe · dsh-logicprobe · 相位 active
相位计数：active 122 · null 28

L1–L3 为插件级静态结论（基础门槛，全 dsh 版本相同）：证据为插件级单份，不在各版本重复存储。

✓dsh 0.1.7-alpha.22026-09-23L5 · 运行验证通过
实测环境与工件
  • • Node.js: v24.14.0
  • • DSH: 0.1.7-alpha.2
  • • 被测插件工件: npm · dsh-logicprobe@0.6.8
验证等级（L1–L3 为插件级静态档 · L4/L5 为该组合最新真测）
L1 静态
通过
L2 静态
通过
L3 静态
通过
L4 沙盒
通过
L5 运行
通过
在 dsh 沙盒中完成安装与运行冒烟——装得上、跑得起来
L5 · 运行验证通过 · dsh 0.1.7-alpha.2 有效

ID: logicprobe@0.6.8@dsh0.1.7-alpha.2 · 档位: l4-sandbox

签发：2026-09-23 · 有效至：2026-09-30

查看检查项与证据
L1 · 已找到✓ 通过
由 L3 推定✓ 通过
默认通过——L3 安装规范已通过（全库 L3 扫描策略）
L2 · 结构化✓ 通过
由 L3 推定✓ 通过
默认通过——L3 安装规范已通过（全库 L3 扫描策略）
L3 · 安装规范✓ 通过
安装命令已解析✓ 通过
来源：插件市场校验 · 方式：安装规范解析 · 采集于 2026-09-28
DSH 版本已声明✓ 通过
来源：插件市场校验 · 方式：DSH 版本声明 · 采集于 2026-09-28
L4 · 安装已测✓ 通过
受限沙盒内执行安装✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-23
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：4.9s
沙盒安装成功✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-23
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：4.9s
安装产物已确认✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-23
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：4.9s
L5 · 运行已测✓ 通过

已在加载器目录树中激活（150 个条目）

沙盒安装通过✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-23
安装源 dsh-logicprobe · 安装方式 复用 L4 沙盒
检查耗时：35ms
Web 启动就绪✓ 通过
来源：DSH 运行时 · 方式：Web 启动 · 采集于 2026-09-23
就绪行 dsh web: http://127.0.0.1:49741/?token=…
HTTP 服务响应✓ 通过
来源：DSH 运行时 · 方式：HTTP 请求 · 采集于 2026-09-23
探测路径 / · HTTP 200 · 耗时 35ms
插件清单中已激活✓ 通过
来源：DSH 运行时 · 方式：插件清单查询 · 采集于 2026-09-23
清单判定 active · 清单条目 150
命中：include:logicprobe · dsh-logicprobe · 相位 active
相位计数：active 122 · null 28

L1–L3 为插件级静态结论（基础门槛，全 dsh 版本相同）：证据为插件级单份，不在各版本重复存储。

0.6.7npm2026-09-20

dsh-logicprobe

该版本无运行时安装实测（仅静态扫描）——兼容性未知，不推定。

0.6.6npm✓ 运行验证通过 22026-09-19

dsh-logicprobe

✓dsh 0.1.6-alpha.22026-09-19L5 · 运行验证通过
实测环境与工件
  • • Node.js: v24.14.0
  • • DSH: 0.1.6-alpha.2
  • • 被测插件工件: npm · dsh-logicprobe@0.6.6
验证等级（L1–L3 为插件级静态档 · L4/L5 为该组合最新真测）
L1 静态
通过
L2 静态
通过
L3 静态
通过
L4 沙盒
通过
L5 运行
通过
在 dsh 沙盒中完成安装与运行冒烟——装得上、跑得起来
L5 · 运行验证通过 · dsh 0.1.6-alpha.2 有效

ID: logicprobe@0.6.6@dsh0.1.6-alpha.2 · 档位: l4-sandbox

签发：2026-09-19 · 有效至：2026-09-26

查看检查项与证据
L1 · 已找到✓ 通过
由 L3 推定✓ 通过
默认通过——L3 安装规范已通过（全库 L3 扫描策略）
L2 · 结构化✓ 通过
由 L3 推定✓ 通过
默认通过——L3 安装规范已通过（全库 L3 扫描策略）
L3 · 安装规范✓ 通过
安装命令已解析✓ 通过
来源：插件市场校验 · 方式：安装规范解析 · 采集于 2026-09-28
DSH 版本已声明✓ 通过
来源：插件市场校验 · 方式：DSH 版本声明 · 采集于 2026-09-28
L4 · 安装已测✓ 通过
受限沙盒内执行安装✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-19
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：3.8s
沙盒安装成功✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-19
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：3.8s
安装产物已确认✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-19
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：3.8s
L5 · 运行已测✓ 通过

已在加载器目录树中激活（150 个条目）

沙盒安装通过✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-19
安装源 dsh-logicprobe · 安装方式 复用 L4 沙盒
检查耗时：19ms
Web 启动就绪✓ 通过
来源：DSH 运行时 · 方式：Web 启动 · 采集于 2026-09-19
就绪行 dsh web: http://127.0.0.1:49672/?token=…
HTTP 服务响应✓ 通过
来源：DSH 运行时 · 方式：HTTP 请求 · 采集于 2026-09-19
探测路径 / · HTTP 200 · 耗时 19ms
插件清单中已激活✓ 通过
来源：DSH 运行时 · 方式：插件清单查询 · 采集于 2026-09-19
清单判定 active · 清单条目 150
命中：include:logicprobe · dsh-logicprobe · 相位 active
相位计数：active 122 · null 28

L1–L3 为插件级静态结论（基础门槛，全 dsh 版本相同）：证据为插件级单份，不在各版本重复存储。

✓dsh 0.1.6-alpha.12026-09-17L5 · 运行验证通过
实测环境与工件
  • • Node.js: v24.14.0
  • • DSH: 0.1.6-alpha.1
  • • 被测插件工件: npm · dsh-logicprobe@0.6.6
验证等级（L1–L3 为插件级静态档 · L4/L5 为该组合最新真测）
L1 静态
通过
L2 静态
通过
L3 静态
通过
L4 沙盒
通过
L5 运行
通过
在 dsh 沙盒中完成安装与运行冒烟——装得上、跑得起来
L5 · 运行验证通过 · dsh 0.1.6-alpha.1 有效

ID: logicprobe@0.6.6@dsh0.1.6-alpha.1 · 档位: l4-sandbox

签发：2026-09-17 · 有效至：2026-09-24

查看检查项与证据
L1 · 已找到✓ 通过
由 L3 推定✓ 通过
默认通过——L3 安装规范已通过（全库 L3 扫描策略）
L2 · 结构化✓ 通过
由 L3 推定✓ 通过
默认通过——L3 安装规范已通过（全库 L3 扫描策略）
L3 · 安装规范✓ 通过
安装命令已解析✓ 通过
来源：插件市场校验 · 方式：安装规范解析 · 采集于 2026-09-28
DSH 版本已声明✓ 通过
来源：插件市场校验 · 方式：DSH 版本声明 · 采集于 2026-09-28
L4 · 安装已测✓ 通过
受限沙盒内执行安装✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-17
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：4.9s
沙盒安装成功✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-17
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：4.9s
安装产物已确认✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-17
安装源 dsh-logicprobe · 通道 npm 包 · 结果 ran · 退出码 0
检查耗时：4.9s
L5 · 运行已测✓ 通过

已在加载器目录树中激活（150 个条目）

沙盒安装通过✓ 通过
来源：Windows ACL 沙盒 · 方式：沙盒安装执行 · 采集于 2026-09-17
安装源 dsh-logicprobe · 安装方式 复用 L4 沙盒
检查耗时：47ms
Web 启动就绪✓ 通过
来源：DSH 运行时 · 方式：Web 启动 · 采集于 2026-09-17
就绪行 dsh web: http://127.0.0.1:55350/?token=…
HTTP 服务响应✓ 通过
来源：DSH 运行时 · 方式：HTTP 请求 · 采集于 2026-09-17
探测路径 / · HTTP 200 · 耗时 47ms
插件清单中已激活✓ 通过
来源：DSH 运行时 · 方式：插件清单查询 · 采集于 2026-09-17
清单判定 active · 清单条目 150
命中：include:logicprobe · dsh-logicprobe · 相位 active
相位计数：active 122 · null 28

L1–L3 为插件级静态结论（基础门槛，全 dsh 版本相同）：证据为插件级单份，不在各版本重复存储。

0.6.5npm2026-09-14

dsh-logicprobe

该版本无运行时安装实测（仅静态扫描）——兼容性未知，不推定。

仅展示最近 3 个已发布版本；源码快照（commit hash）组、未标注工件组与更早版本不展示——全量档案保留在数据层（插件无任何已发布版本时，快照/未标注组才照常展示）。

作者徽章

将官方徽章嵌入你的 README，展示插件的安全与安装检测状态：

dsh.so risk
`[![dsh.so risk](https://www.dsh.so/badge/logicprobe.svg)](https://www.dsh.so/artifact/logicprobe/)`
dsh 0.1.7-rc.2 安装验证已通过
`[![dsh.so install · dsh 0.1.7-rc.2](https://www.dsh.so/badge/install/logicprobe@0.1.7-rc.2.svg)](https://www.dsh.so/artifact/logicprobe/)`
dsh 0.1.5-rc.2 安装验证已通过
`[![dsh.so install · dsh 0.1.5-rc.2](https://www.dsh.so/badge/install/logicprobe@0.1.5-rc.2.svg)](https://www.dsh.so/artifact/logicprobe/)`
dsh 0.1.2-rc.1 安装验证已通过
`[![dsh.so install · dsh 0.1.2-rc.1](https://www.dsh.so/badge/install/logicprobe@0.1.2-rc.1.svg)](https://www.dsh.so/artifact/logicprobe/)`

安全报告

自动化的静态分析——规模化的第一道风险防线，不是人工审核。

DSH.SO VETPASSED4b68e0
安全审查自动审查 · 每日更新
PASSED

vet 静态分析未发现可疑行为，判定为干净（clean）。

0 严重·0 高·0 中
版本绑定
插件版本v0.7.0dsh 清单
扫描版本0.7.0npm2026-09-27
当前版本0.7.0版本一致
vet 判定clean · npm

vet 为 AST 静态扫描（npm 发布物或 git 源码）。

免责声明：这是自动化静态分析，不构成安全保证。安装前请自行审查。

风险详情

未发现严重或警告级问题。

活跃度

最近提交 2026-09-27 · 活跃度：活跃

• 仓库创建: 2026-08-12

• 星标: ★ 5 · 复刻: 0

• 健康度: 活跃 — 近 30 天有提交

来源

GitHub: github.com/AmethystLuna/logicprobe

这页有帮助吗？