Product Changelogs
Connector
Protocol-aware reverse proxy for secure infrastructure access
Desktop App
CLI and local proxy for connecting to resources
Terraform Provider
Infrastructure as code for Formal resources
Data Discovery
Automated data discovery and classification
Policy Data Loader
Policy data loading and management
AI Satellite
Autonomous security monitoring and threat detection
Kubernetes Operator
Kubernetes-native management of Formal resources