> ## 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.

# Documentation

> Secure everything from databases and APIs to SaaS apps with Zero Trust principles that are easy to use and administer

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.

<CardGroup cols={2}>
  <Card title="Get started in 10 minutes" icon="bolt" href="/docs/guides/getting-started/quickstart">
    Deploy production-ready access controls in minutes
  </Card>

  <Card title="Use our API for full control" icon="code" href="/docs/api/introduction">
    Automate everything with Terraform, Pulumi, or direct API access
  </Card>
</CardGroup>

## Learn More

<CardGroup cols={2}>
  <Card title="What is Formal?" icon="shield-halved" href="/docs/guides/getting-started/what-is-formal">
    Learn about Formal's approach to access management
  </Card>

  <Card title="How Formal Works" icon="diagram-project" href="/docs/guides/getting-started/architecture">
    Understand the architecture that powers real-time access control
  </Card>
</CardGroup>