Formal 用 OIDC 管控云端智能体生产访问

10月28日，Hacker News 首页报道了 Formal 使用 OIDC 为云端编码智能体提供生产数据与云基础设施访问的做法，以避免分发长期凭据。该方案将访问置于可审计、受策略控制的流程中，生产环境访问保持只读，并须经人工审批。智能体可通过 Slack 申请短期数据库权限；申请获批后，授权被限定到具体会话和数据库，请求日志则关联智能体与发起申请的工程师。报道所述进展集中在短期授权、人工审批及访问追踪机制。

AI 根据报道生成 · 54 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。