F formal.ai We let our cloud agents query prod (with OIDC, not secrets) 21 points saligrama 4 days ago 16 comments