Aviator推出基于意图与不变式的代码审查工具

发生了什么

Aviator发布了Aviator Verify代码审查工具，旨在将验证工作交由AI代理，决策权留给人类。该工具通过“意图”与“不变式”两个层面进行审查：意图捕获编码过程中的决策与验收标准，不变式则作为团队工程规则的标准化记录。系统通过分析GitHub历史记录、文档及人工反馈自动草拟不变式，并要求人工审批后生效。该工具提供免费账户供团队生成并保留不变式。