Learn how to integrate formal verification into your AI applications. From writing compliance rules to integrating with Claude Desktop via MCP.
How Aare uses purpose-built transformer models to extract compliance-critical entities from unstructured text with high accuracy and minimal footprint.
Deep diveLearn 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 started76 formally verified constraints for healthcare AI compliance. Covers PHI, AI governance, 2025 Security Rule, and special protections.
View ontology