formal.ai1 week agoGiving Cloud Agents Production Access with OIDC, Not SecretsHow Formal uses OIDC to give cloud coding agents auditable, policy-controlled, short-lived access to production data and cloud infrastructure without long-lived secrets.Visit formal.aiBookmarkAdd to collection