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

## Core

> **[Connector](https://docs.formal.ai/docs/changelog/connector.md)**
>
> Protocol-aware reverse proxy for secure infrastructure access

> **[Endpoint](https://docs.formal.ai/docs/changelog/endpoint.md)**
>
> Formal Endpoint on macOS, Windows, Linux, and Kubernetes

## Satellites

> **[AI Satellite](https://docs.formal.ai/docs/changelog/ai-satellite.md)**
>
> Autonomous security monitoring and threat detection

> **[Data Discovery](https://docs.formal.ai/docs/changelog/data-discovery.md)**
>
> Automated data discovery and classification

> **[Policy Data Loader](https://docs.formal.ai/docs/changelog/policy-data-loader.md)**
>
> Policy data loading and management

## Developer Tools

> **[Go SDK](https://docs.formal.ai/docs/changelog/go-sdk.md)**
>
> Programmatic access to Formal from Go

> **[Terraform Provider](https://docs.formal.ai/docs/changelog/terraform-provider.md)**
>
> Infrastructure as code for Formal resources

> **[Kubernetes Operator](https://docs.formal.ai/docs/changelog/kubernetes-operator.md)**
>
> Kubernetes-native management of Formal resources

> **[CloudFormation](https://docs.formal.ai/docs/changelog/cloudformation.md)**
>
> AWS Cloud Integration stack template versions


This documentation is built and hosted on [Mintlify](https://mintlify.com), a developer documentation platform.