Formal 用 OIDC 为云端编码智能体提供受控的生产访问

Formal 介绍了如何用 OIDC 将每次云端编码智能体会话建模为独立工作负载身份，并通过策略、只读权限和人工审批控制其对生产数据的访问。内部实践中，Cursor 等云端智能体可在获批后短期访问指定数据库，也可通过 OIDC 连接开发租户和云账户，验证 Kubernetes operator 等代码变更。Formal 据此主张把智能体访问建模为临时委派，而非分发可复用的长期凭据。