用途：当架构意图比“能编译”更重要时，使用 formal-verify 对代码库进行持续形式化验证与质量审计。
主要能力：采用三层验证循环。第一层结构验证，基于提取的 AST 事实与声明式规则；第二层行为验证，基于 Z3Py 协议规范与 TLA+/Apalache 状态机规范；第三层优雅度审计，围绕复杂度、一致性与工艺启发式评分。分层执行：每次编辑仅跑第一层以保证快速反馈；切片检查点跑第一、二层；提交前与手动 /verify 跑全部三层。
使用方式：以 /verify --bootstrap 引导目标项目，包含安装依赖并创建 .verifier/、从文档与代码形态发现架构规则、用自然语言就歧义点询问用户、针对当前代码库验证初始规则四个阶段。命令包括 /verify（详细模式跑全部层并输出统一报告）、/verify --bootstrap、/verify --evolve（检查架构文档与现有验证规范之间的漂移）、/verify --grade（仅跑第三层并报告当前优雅度等级）。违规处理会按受众裁剪输出：给智能体含反例、诊断与具体修复建议，给人仅含反例与诊断；同一违规修复三次仍失败则停止循环并升级，附原始规则、反例、三次尝试及仍阻塞正确修复的原因。
适用场景：迁移完成前的验证、代码正确但粗糙时的评分清理、协调逻辑或跨语言契约变更、风险合并前的检查。
限制：资料未提供支持语言之外的扩展能力、价格与平台信息；引导会在目标仓库创建 .verifier/，其中 facts/ 与 reports/ 应加入 gitignore。