# Formal 如何用 OIDC 让云端智能体查询生产环境，避免分发长期凭据

> 原标题：We let our cloud agents query prod (with OIDC, not secrets)

- 来源：Hacker News 首页
- 发布时间：2026-10-27T16:25:12.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/efofhikb8dlorqljhta7ru8r1
- 原文：https://www.formal.ai/blog/cloud-agents-oidc-infrastructure/

## 摘要

Formal 使用 OIDC 为云端编码智能体提供可审计、受策略控制的生产数据与云基础设施访问，生产访问保持只读且需人工审批。智能体可通过 Slack 申请短期数据库权限，批准后授权限定到具体会话和数据库，请求日志关联智能体及发起工程师。