# Formal gives cloud coding agents temporary access to production data

_Published Tuesday, October 27, 2026 at 2:02 PM EDT · AI, Security · Latest · Tier 2 — Notable_

![Formal gives cloud coding agents temporary access to production data — Primary](https://www.formal.ai/og-image.png)

Formal says it now gives cloud coding agents read-only access to production data through temporary, policy-controlled authorization. Agents can request access from their human owners, with approval scoped to a specific agent session and database.

The system uses OpenID Connect tokens to authenticate workloads without handing agents reusable credentials. Requests can be attributed to both the agent and the engineer who launched it. Formal cryptographically authenticates the machine identity, but the human identity is asserted by the agent platform and trusted through customer configuration.

## Sources

- [formal.ai](https://www.formal.ai/blog/cloud-agents-oidc-infrastructure/)

---
Canonical: https://techandbusiness.org/newswire/ehufcGlh-E2X1Nwjjmy_Rt
Published: 2026-10-27T18:02:38.030Z
Story chronology: 2026-10-27T16:25:12.000Z
Retrieved: 2026-10-27T20:41:03.966Z
Publisher: Tech & Business (techandbusiness.org)