Core
Connector
Protocol-aware reverse proxy for secure infrastructure access
Endpoint
Formal Endpoint on macOS, Windows, Linux, and Kubernetes
Satellites
AI Satellite
Autonomous security monitoring and threat detection
Data Discovery
Automated data discovery and classification
Policy Data Loader
Policy data loading and management
Developer Tools
Go SDK
Programmatic access to Formal from Go
Terraform Provider
Infrastructure as code for Formal resources
Kubernetes Operator
Kubernetes-native management of Formal resources
CloudFormation
AWS Cloud Integration stack template versions