Learn how to integrate formal verification into your AI applications. From writing compliance rules to integrating with Claude Desktop via MCP.
Learn how to write compliance ontologies for the aare.ai verification engine. Covers constraints, formulas, extractors, and best practices.
Read the guideIntegrate aare-core verification directly into Claude Desktop, Claude Code, or any MCP-compatible AI application.
Get started