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

# Overview

> Product updates and release notes for Formal

Stay up to date with the latest releases, features, and improvements across all Formal products.

## Product Changelogs

<CardGroup cols={2}>
  <Card title="Connector" icon="plug" href="/docs/changelog/connector">
    Protocol-aware reverse proxy for secure infrastructure access
  </Card>

  {" "}

  <Card title="Desktop App" icon="desktop" href="/docs/changelog/desktop-app">
    CLI and local proxy for connecting to resources
  </Card>

  <Card title="Terraform Provider" icon="cube" href="/docs/changelog/terraform-provider">
    Infrastructure as code for Formal resources
  </Card>

  {" "}

  <Card title="Data Discovery" icon="magnifying-glass" href="/docs/changelog/data-discovery">
    Automated data discovery and classification
  </Card>

  <Card title="Policy Data Loader" icon="database" href="/docs/changelog/policy-data-loader">
    Policy data loading and management
  </Card>

  {" "}

  <Card title="AI Satellite" icon="satellite" href="/docs/changelog/ai-satellite">
    Autonomous security monitoring and threat detection
  </Card>

  <Card title="Kubernetes Operator" icon="dharmachakra" href="/docs/changelog/kubernetes-operator">
    Kubernetes-native management of Formal resources
  </Card>
</CardGroup>