logicprobe

AmethystLuna/logicprobe
★ 5↓ 2398上架于 2026-08-24🤖 智能体与技能技能包

简介

声称核查技能:将设计文档与计划中的每条声称对照代码库事实核验,行为类声称升级为状态机/数据模型逻辑原语验证,支持前后回归、领域约束与并发风险挖掘。

安装

curl -fsSL https://www.dshhub.co/install.sh -o dshhub-install.sh && bash dshhub-install.sh

已经装好 DSH?可以跳过体检,直接装市场:dsh plugin --profile web add dshhub-market

本插件仅支持插件端安装。

← 返回插件目录