logicprobe
声称核查技能插件，逐条核验设计文档、架构规格、重构计划中可验证声称与代码库的一致性，行为类声称升级为可执行模型验证；提供 logicprobe_verify 等原生工具，引擎含 22 项结构与对抗检查，并支持导出 UPPAAL、TLA+ 等
查看原仓库英文描述
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 原生。
基础信息核对
自动核对项目活跃度
数据覆盖 80% · 抽样数据 · 数据截至 2026-09-25
100 次提交 · 最近推送 今天
0 个样本 · 暂不计分
22/24 已关闭 · 首次响应中位数 暂无
2 位近 90 天活跃贡献者
最近发布 今天
5 Stars · 0 Forks
安装
dsh plugin --profile web add github:AmethystLuna/logicprobe
首次安装 GitHub 来源的包时，可能需要在 profile 的 pnpm-workspace.yaml 的 allowBuilds 中允许该包的构建脚本；也可用 github:AmethystLuna/logicprobe#<commit-sha> 锁定版本。详见官方文档。
还没有 DSH？两步开始 →
第一步：准备 Node.js 环境
DSH 依赖 Node.js（建议 20 LTS 或更新版本）。终端里运行 node -v 能显示版本号即已就绪。
已有 Node.js：直接进入第二步。
没有 Node.js：去 nodejs.org 下载 LTS 安装包（Windows/macOS 双击安装）；或用包管理器：
brew install nodewinget install OpenJS.NodeJS.LTS第二步：启动 DSH
无需安装，直接运行：
npx @deepseek-ai/dsh web浏览器打开 http://127.0.0.1:3080，在 Web UI 的插件市场里搜索 logicprobe，或粘贴上面的安装命令。
