Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.formal.ai/llms.txt

Use this file to discover all available pages before exploring further.

Formal delivers AI-powered Privileged Access Management built for modern infrastructure. Control access to databases, Kubernetes, MCP servers, APIs, and more with policy-driven security.

Get started in 10 minutes

Deploy production-ready access controls in minutes

Use our API for full control

Automate everything with Terraform, Pulumi, or direct API access

Learn More

What is Formal?

Learn about Formal’s approach to access management

How Formal Works

Understand the architecture that powers real-time access control