用途:verify-rfc 用于验证设计文档(RFC、spec、design doc)与实际实现之间的一致性,找出完整性缺口、偏差和未记录变更。触发语包括“verify the RFC”等。
主要能力:先获取并解析设计文档,提取可验证需求(功能需求、技术规格、集成点、性能与安全等非功能需求)形成清单;再在本地代码库及 Glean 内部代码中搜索对应实现;随后对每项“需求×实现”配对做严格评估,区分已实现、部分实现、不明确、未找到,并评估证据强度与规范符合度。
使用方式:用户提供 RFC 的 URL、标题或主题。若为 URL 则读取文档,若为主题则先搜索再读取最佳匹配。之后用宿主环境的本地文件搜索工具(grep/glob/read)查找实现,并用 code_search 搜索内部代码。最终输出验证报告,含文档信息、置信度统计、状态汇总、详细发现(已实现/部分实现/未找到/与规范不符)、局限与建议。
适用场景:需要核对设计文档落地情况、排查实现漂移、确认需求是否被遗漏或偏离时使用。
限制:强调证据与怀疑态度,测试代码、注释代码、TODO、死代码或已废弃代码均不计为实现;找不到实现时明确说明而非臆断。若文档或实现无法找到、需求含糊,会记录假设并建议人工复核。具体平台支持、收费与价格信息暂未提供。