我构建了 Vericore：面向 AI 编码代理的验证层

开发者指出 AI 编码代理能快速对仓库做大范围改动，但难以确认是否只改了预期内容，因此构建开源验证层 Vericore。其流程为理解、准备、代理改动、验证：代理改代码前，Vericore 构建仓库上下文并生成 Change Contract，代理完成后对照该契约检查仓库范围、意外文件、架构、依赖、契约、测试和改动影响。例如代理本应只改 PaymentService.kt、PaymentValidator.kt 和 PaymentServiceTest.kt，却改动了 PaymentDatabase.kt，Vericore 会标记该意外变更。它还提供 MCP server，让 AI 代理使用其仓库智能与验证能力。

AI推荐理由 针对 AI 编码代理改动范围失控这一真实痛点，提出开源验证层 Vericore，通过 Change Contract 在代理改动前后校验仓库范围、意外文件、架构、依赖、契约和测试，并提供 MCP server 供代理调用；思路具体且可操作，但为开发者自述，尚无基准测试、误报率或实际使用效果数据。