察元AI能力广场 · Harness 插件

逻辑探针

Logic Probe

Stars 5 · 作者 AmethystLuna

AI 智能体声明核查技能：枚举设计文档与重构计划中的每个可验证声明，对照代码库事实逐条核验；行为类声明升级为状态机/数据模型逻辑原语验证，支持前后回归、领域约束与并发风险挖掘，输出 file:line 证据。

详细介绍

AI 智能体声明核查技能：枚举设计文档与重构计划中的每个可验证声明，对照代码库事实逐条核验；行为类声明升级为状态机/数据模型逻辑原语验证，支持前后回归、领域约束与并发风险挖掘，输出 file:line 证据。

智能体编排 编程开发 文档处理

源码仓库

安装方式

dsh plugin --profile web add AmethystLuna/logicprobe

同类Harness 插件推荐

• dsh-origin-plugin — 通过MCP驱动Origin绘图并导出图形的插件
• dsh-purge — DSH破甲插件，允许为不同模型切换提示词实现越狱突破
• dsh-desktop — DeepSeek 插件生态的现代化桌面端
• dsh-waimai-discount — DSH插件，提供美团、饿了么等平台的官方无佣金外卖优惠券搜索助手。
• rea — rea 工具，利用代理逆向分析应用行为及二进制
• deepseek-harness — DeepSeek 插件化开发框架
• open-design — 开源的DeepSeek设计插件，支持本地运行及多格式文件导出
• archify — 生成可验证HTML架构图、工作流图等自包含可视化图表的Agent技能

浏览全部Harness 插件 · 返回察元AI首页