让云代理安全查询生产环境

We let our cloud agents query prod (with OIDC, not secrets)

在 Formal，我们致力于将基础设施中的长期密钥数量降为零。通过引入 OIDC 集成，我们成功让 Cursor 和 Devin 等云编码代理获得了可审计、受策略控制的只读生产环境访问权限。这种方法不再依赖静态凭证，而是将每次代理运行视为独特的负载身份，并关联启动它的工程师和代码仓库。我们利用这一机制实现了产品数据分析、异步工作流调试以及云原生功能的真实环境测试，让代理能够安全地闭环验证代码变更，而无需分发长期有效的密钥。