Formal дала облачным агентам доступ к продакшену — через OIDC, а не секреты
We let our cloud agents query prod (with OIDC, not secrets)
Formal перевела аутентификацию облачных агентов вроде Cursor и Devin на OIDC: каждая сессия агента получает короткоживущую идентичность, а доступ к продакшен-базам и инфраструктуре выдаётся только для чтения и после одобрения человеком. В статье описаны реальные сценарии — от продуктовой аналитики до отладки асинхронных workflow — и то, как агент может подтверждать, кто именно его запустил.
Главный вывод из нашего внутреннего опыта: доступ агента стоит моделировать как временное делегирование, а не как ещё одну машинную нагрузку с ещё одним долгоживущим секретом.