Hacker News front pageAI 評分59
Formal 用 OIDC 讓 Cursor、Devin 只讀訪問生產環境
Formal 用幾個月前上線的 OIDC Integrations,讓 Cursor、Devin 這類本身就是 OIDC 簽發方的雲端 coding agent 以短期憑證、只讀權限訪問其生產資料與雲基礎設施,不必持有長期金鑰。每個整合可設 CEL 條件作為認證門檻,OIDC 宣告欄位也能作為權限輸入,還可呼叫 CreateFederationToken 換取短期 Connector 令牌充當憑證注入代理。