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

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

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