logicprobe

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

About

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

Install

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

Already have DSH? Skip the wizard and install the market directly:dsh plugin --profile web add dshhub-market

This plugin installs only from the plugin side.

← Back to catalog