We let our cloud agents query prod (with OIDC, not secrets)

How Formal uses OIDC to give cloud coding agents auditable, policy-controlled, short-lived access to production data and cloud infrastructure without long-lived secrets.