Accès à la production pour des agents cloud via OIDC, sans secrets : le retour d'expérience de Formal

Formal décrit ses intégrations OIDC, qui permettent à des workloads machine de s'authentifier via leur identité d'infrastructure, avec attestation facultative d'une identité humaine. Cursor et Devin étant eux-mêmes des émetteurs OIDC, ils obtiennent un accès en lecture seule, auditable et contrôlé par des politiques, aux données de production et à l'infrastructure cloud. Chaque intégration peut définir une condition CEL, et les claims OIDC alimentent les Permissions.