把设计、计划或文档里的声称抽成模型再判定：UML 图渲染、读取与审查；状态机、协议与数据模型按模型判定；迁移检查覆盖与回滚对称；并发声称挖掘后分派给能判定它的工具；依赖图审查；报告对比。
curl -fsSL https://www.dshhub.co/install.sh -o dshhub-install.sh && bash dshhub-install.shAlready 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.