Overview
Formal provides SDKs for programmatic access to the platform. Use SDKs to build custom tools, automation, and integrations.For most infrastructure management tasks, use the Terraform
provider instead of SDKs.
Official SDKs
The official Formal SDK for Go is available:Features
- Create, read, update, delete Formal objects
- Query logs and sessions programmatically
- Manage policies dynamically
- Integrate Formal into CI/CD pipelines
- Build custom dashboards and reports
REST API
Alternatively, use the Formal REST API directly:Authentication
Example Requests
- List Resources
- Create User
- Query Logs