---
format: "aidr-story-markdown/v1"
id: "e6e9e1852838fcb5d94d56679e4289a5b0958474e4823a245588e483b6825ee1"
canonical_url: "https://aidr.today/e6e9e185?lang=en"
title: "We let our cloud agents query prod (with OIDC, not secrets)"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-10-27T16:25:12.000Z"
category: "Tools"
topics: ["agent","devtools"]
source_urls: ["https://www.formal.ai/blog/cloud-agents-oidc-infrastructure/","https://news.ycombinator.com/item?id=50261584"]
summary: "Formal uses OIDC to provide cloud coding agents with auditable, policy-controlled, short-lived access to production data and cloud infrastructure without relying on long-lived secrets."
---

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

> [Open the canonical story](<https://aidr.today/e6e9e185?lang=en>)

**Published:** 2026-10-27T16:25:12.000Z
**Category:** Tools
**Topics:** agent, devtools

## Summary

Formal uses OIDC to provide cloud coding agents with auditable, policy\-controlled, short\-lived access to production data and cloud infrastructure without relying on long\-lived secrets\.

## Sources

- [Story source](<https://www.formal.ai/blog/cloud-agents-oidc-infrastructure/>)
- [Discussion](<https://news.ycombinator.com/item?id=50261584>)