Written by Aditya Saligrama
Blog · Oct 23, 2026
Giving Cloud Agents Production Access with OIDC, Not SecretsHow Formal uses OIDC to give cloud coding agents auditable, policy-controlled, short-lived access to production data and cloud infrastructure without long-lived secrets.
Read the post ›
Blog · Jul 8, 2026
Announcing Connector v2.0.0Version 2.0.0 of the Connector significantly improves data efficiency and reliability when synchronizing data with the control plane.
Read the post ›
Blog · May 7, 2026
Security Debt We Never CreatedHow Formal eliminates entire categories of security work through architectural choices.
Read the post ›
Blog · Feb 7, 2025
Down the Rabbit Hole: Implementing SSH Port Forwarding over AWS Session ManagerImplementing SSH port forwarding over AWS Session Manager with concurrency fixes.
Read the post ›