Hacker News· saligrama·· 1 天前AI 评分46
Formal 让云端 Agent 通过 OIDC 而非长期密钥查询生产环境
We let our cloud agents query prod (with OIDC, not secrets)
AI 导读
Formal 介绍其几个月前推出的 OIDC Integrations，让 Cursor、Devin 等云端编程 Agent 凭借基础设施身份获得可审计、受策略控制的只读访问，用于查询生产数据和云基础设施，替代长期密钥。
来源：Hacker News · formal.ai