Formal

Governance for AI agents, MCP servers, and LLM providers

Formal governs how people and AI agents use MCP servers, skills, and LLM providers. Formal’s policy system uses OPA to enable users to express access control rules as code. Policies are evaluated as users connect to resources and execute queries.

Tutorials:

Docs > Guides > Policies > Introduction (docs.formal.ai)
Docs > Guides > Policies > Enforcement (docs.formal.ai)
Docs > Guides > Policies > Examples (docs.formal.ai)
Docs > Reference > Sql Functions (docs.formal.ai)

Category: authorization
Layer: application