Formal da acceso a producción a sus agentes cloud sin secretos, usando OIDC
We let our cloud agents query prod (with OIDC, not secrets)

Formal eliminó las credenciales estáticas para sus agentes de código en la nube y ahora los autentica con OIDC. Cada sesión de Cursor o Devin se convierte en una identidad de carga de trabajo única, con acceso de solo lectura, aprobación humana por Slack y políticas que vinculan la solicitud al ingeniero y al repositorio. Así los agentes consultan bases de datos de producción, depuran flujos asíncronos y prueban features en la nube real sin secretos de larga duración.
La lección más amplia de nuestro uso interno es que el acceso de los agentes debe modelarse como una delegación temporal, no solo como otra carga de trabajo máquina con otro secreto de larga duración.