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 started76 formally verified constraints for healthcare AI compliance. Covers PHI, AI governance, 2025 Security Rule, and special protections.
View ontology