**Formal 利用 OIDC 让云智能体安全访问生产环境，彻底告别长期密钥**

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

> Formal 推出了基于 OIDC 的集成方案，使云编码智能体（如 Cursor 和 Devin）能够利用自身基础设施身份进行认证，从而获得对生产数据和云基础设施的可审计、策略控制且短生命周期的只读访问权限。该方案通过 OpenID Connect 协议替代了传统的长期密钥管理，不仅消除了长期密钥的安全风险，还通过 CEL 条件和细粒度权限控制增强了安全性，同时原生支持 SPIFFE 工作负载。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-products
- **发布时间**：2026-10-28 00:25（北京时间）
- **原文**：[打开原文](https://www.formal.ai/blog/cloud-agents-oidc-infrastructure)