Formal gibt Cloud-Agenten Produktionszugriff – ohne Secrets, dank OIDC
We let our cloud agents query prod (with OIDC, not secrets)
Formal hat seine Infrastruktur auf OIDC umgestellt, um langfristige Secrets zu eliminieren. Cloud-Coding-Agenten wie Cursor und Devin sind selbst OIDC-Aussteller, sodass sie nun auditierbaren, richtlinienkontrollierten Lesezugriff auf Produktionsdaten erhalten. Jede Agentensitzung wird als eigene Workload-Identität modelliert, Zugriffe sind an den auslösenden Menschen und das Repository gebunden und müssen freigegeben werden. Das macht Agenten deutlich nützlicher, ohne statische Credentials zu verteilen.
Die übergreifende Lehre aus unserer internen Nutzung ist, dass Agentenzugriff als temporäre Delegation modelliert werden sollte – nicht einfach als ein weiterer Maschinen-Workload mit einem weiteren langfristigen Secret.