logicprobe
声称核查技能：将设计文档与计划中的每条声称对照代码库事实核验，行为类声称升级为状态机/数据模型逻辑原语验证，支持前后回归、领域约束与并发风险挖掘。
AmethystLuna
@AmethystLuna
⬇ 2,263
★ 5
安装
dsh plugin --profile web add dsh-logicprobe
需要可复现安装时，可在仓库后追加 #commit 固定提交。
声称核查技能：将设计文档与计划中的每条声称对照代码库事实核验，行为类声称升级为状态机/数据模型逻辑原语验证，支持前后回归、领域约束与并发风险挖掘。
该插件未提供要点说明，请参考仓库 README。
- 安装并启动 DeepSeek Harness：
npx @deepseek-ai/dsh web - 在终端执行上面的安装命令（CLI 会解析插件并核验来源）
- 用 dsh plugins list 确认已安装，必要时重启 Harness 生效
插件以当前 dsh 进程的权限运行，安装时可能执行代码。请先通读仓库源码与许可证，确认无破坏性命令与越权访问；本站只做索引，不对第三方插件安全性作担保。
| 代码仓库 | github.com/AmethystLuna/logicprobe |
| 许可证 | 未标注（见仓库） |
| 主要语言 | — |
| 下载量 | 2,263 |
| GitHub 星标 | 5 |
| 最近推送 | — |
| 收录日期 | 2026-08-24 |
| 分类 | 技能 |
事实信息来自公开插件目录快照（2026-09-16），介绍文案由本站再加工。
数据来源：公开的 DeepSeek Harness 插件目录与各插件 GitHub 仓库。本站为独立第三方目录，与 DeepSeek、幻方（High-Flyer）及插件作者均无隶属或背书关系。
