用途：当架构意图比“能编译”更重要时使用，对代码库完整性进行验证、审计与校验。
主要能力：三层验证循环。第一层结构验证，基于提取的 AST 事实与声明式规则（如仅允许模块 X 跨越边界 Y、匹配模式 Z 的模块必须实现接口 W、禁止引用遗留标识符），默认作为 PostToolUse 钩子运行，速度最快。第二层行为验证，覆盖状态转换与协议契约，使用 TLA+/Apalache 处理时序属性、活性与交错，使用 Z3Py 规格文件处理契约、不变量与跨边界数据保证。第三层优雅度审计，按复杂度、一致性、工艺启发式评分并给出逐行扣分。
使用方式：命令包括 /verify（详细模式运行全部层并输出统一报告）、/verify --bootstrap（安装依赖、创建 .verifier/ 并搭建初始规则集）、/verify --evolve（检查架构文档与现有验证规格之间的漂移）、/verify --grade（仅运行第三层并报告优雅度等级）。分层触发：每次编辑仅第一层；切片检查点运行第一、二层；提交前和手动 /verify 运行全部三层。Bootstrap 分四阶段：安装依赖并创建 .verifier/、从文档与代码形态发现架构规则、用平实英语就歧义访谈用户、针对当前代码库验证初始规则。
适用场景：迁移完成前验证、风险合并前、改动涉及协调逻辑或跨语言契约时、代码正确但感觉粗糙时。
限制与说明：资料主要面向 Rust 和 Swift 源文件的事实提取；违规处理时对智能体输出反例、诊断与具体修复建议，对人类仅输出反例与诊断；同一违规修复三次未果则停止循环并升级。目标仓库中会创建 .verifier/ 目录，含 structural.yaml、elegance.yaml、specs/、facts/、reports/，其中 facts/ 与 reports/ 应加入 gitignore。架构演进时优先更新规则与规格而非削弱它们。其他平台支持与收费信息暂未提供。