Real-time LLM output verification. Custom ontologies. Mathematical proofs.
The aare.ai /verify API validates LLM output against your compliance policies in real time. Send any LLM response to our API with your ontology, and receive a mathematical proof of compliance or a detailed list of violations.
Powered by the Z3 SMT solver from Microsoft Research, the same theorem prover trusted by AWS, Microsoft, and NASA for mission-critical verification.
Define your exact compliance rules in JSON. Support for boolean logic, comparisons, arithmetic, and complex conditionals.
Every verification returns a formal proof trace. Show auditors exactly which rules passed or failed and why.
Verification completes in milliseconds. Add compliance checking to your LLM pipeline without impacting user experience.
Works with any LLM: GPT-4, Claude, Llama, Gemini, or your fine-tuned models. Verification is independent of generation.
Get started immediately with ontologies for HIPAA, fair lending, mortgage compliance, and more.
Automatically extracts entities from any phrasing. "35% DTI" and "debt-to-income of thirty-five percent" parse identically.
# Verify LLM output against fair lending rules curl -X POST https://api.aare.ai/verify \ -H "Content-Type: application/json" \ -H "x-api-key: YOUR_API_KEY" \ -d '{ "llm_output": "Loan approved for $75,000 at 6.5% APR. Credit score: 720, DTI: 35%, down payment: 10%.", "ontology": "fair-lending-v1" }' # Response { "verified": true, "violations": [], "parsed_data": { "amount": 75000, "credit_score": 720, "dti": 35, "down_payment": 10 }, "proof": { "verification_id": "a3d8c1f2-5b7e...", "solver": "Z3 SMT Solver" }, "execution_time_ms": 12 }
GitHub: https://github.com/aare-ai