We let our cloud agents query prod (with OIDC, not secrets)
11 points by saligrama
Formal utilizes OpenID Connect (OIDC) to provide cloud coding agents with controlled and auditable access to production data and cloud infrastructure. This approach ensures that access is granted through short-lived credentials, eliminating the need for long-lived secrets.