# Verificate

> Verificate Pty Ltd (Sydney, Australia) sells three independent products. Compile-Time Inference prepares an organisation's records before questions arrive, so that for supported tasks software selects a result from those records and a language model explains it, with the supporting evidence available to inspect. Verificate Gate reviews AI-written code and plans and returns a verdict with findings. Verificate Helix runs supported open AI models on infrastructure the customer controls, with a confidence score on each response. This file is a factual summary; claims are scoped on the evidence page.

## Products

- [Verificate Compile-Time Inference](https://verificate.ai/compile-time-inference/) — Prepares records and supported decision rules ahead of questions and keeps them current. At question time a supported result is selected and a language model explains it. Designed to decline when supporting evidence is missing. Repeatability applies to supported decisions with the same interpreted inputs, authorised records and rules; wording may vary, and repeatability does not establish correctness. Delivered through an assisted evaluation, not self-service. Often evaluated alongside or instead of retrieval-augmented generation (RAG) and GraphRAG for answers that must be checkable. Documentation: https://verificate.ai/docs/compile-time-inference/
- [Verificate Gate](https://verificate.ai/gate/) — Reviews AI-written code and plans. Deterministic checks (for example placeholder implementations presented as finished, calls to APIs that do not exist, unsupported completion claims) can block a result; a model-assisted engineering review then reports performance, reliability, security and maintainability findings. Returns approved, approved with warnings, or rejected, with a 0-100 score. Review is informed by the ISO/IEC 25010 quality model; Gate does not claim ISO/IEC 5055 conformance or certification. Works with GitHub (Action), LangChain, OpenClaw and MCP clients such as Claude Code, Cursor, Windsurf and VS Code. 100 free checks without an account, then a 30-day trial, then US$30/month. Documentation: https://verificate.ai/docs/gate/
- [Verificate Helix](https://verificate.ai/inference/) — A containerised inference runtime the customer deploys on CPU or GPU: Kubernetes/OpenShift, a cloud account, a VM, or an air-gapped network. Serves open models (lead models GPT-OSS 120B for text and Qwen3-VL 4B for vision). OpenAI-compatible API with streaming and JSON mode. Returns a 0-100 confidence score per response as a routing signal; it is not a correctness guarantee and calibration depends on model and task. Deployed at UNSW. Documentation: https://verificate.ai/docs/helix/

## Applications of Compile-Time Inference

- [Video — Hybrid-VLM](https://verificate.ai/hybrid-vlm/) — a public demonstration on broadcast footage: ask about the footage and open the supporting clip. Demonstration, not a production service.
- [Legal research — Kevin](https://verificate.ai/kevin/workbench/) — research preview: ask about Australian law and check the cited cases. Not legal advice.
- [Genomics](https://verificate.ai/genomics/) — private demonstration by arrangement.

## Guides

- Why RAG still hallucinates: https://verificate.ai/articles/why-rag-hallucinates/
- RAG vs Compile-Time Inference: https://verificate.ai/articles/rag-vs-compile-time-inference/
- GraphRAG vs Compile-Time Inference: https://verificate.ai/articles/graphrag-vs-compile-time-inference/
- Evidence and evaluation (what each published result does and does not establish): https://verificate.ai/evidence/
- Documentation: https://verificate.ai/docs/

## Trust & compliance

Security is managed under the SOC 2 Trust Services Criteria and an ISO/IEC 27001:2022 control framework (control frameworks + certification roadmap — not a claim of completed certification). Runs on AWS (Sydney) and Cloudflare, both independently certified to SOC 2 / ISO 27001; products can run fully inside the customer boundary (zero egress). GDPR, CCPA/CPRA and Australian Privacy Act aligned; DPA available. Recognition: Finalist, AFR AI Awards (Sustainability). Customer: UNSW. Technology partners: IBM, AMD, GitHub. Trust Center: https://verificate.ai/security/

## Where to find the Gate

- GitHub Marketplace (Action): https://github.com/marketplace/actions/verificate-gate
- MCP endpoint (100 free validations, no signup): https://mcp.verificate.ai/mcp
- MCP quickstart (Claude Code, Cursor, Windsurf): https://github.com/VerificateAI/verificate-mcp-quickstart
- Glama MCP listing: https://glama.ai/mcp/servers/@Verificate-Dev/verificate-mcp-quickstart
- OpenClaw Guard on ClawHub: https://clawhub.ai/verificate/plugins/openclaw-guard
- LangChain integration: https://github.com/VerificateAI/verificate-langchain

## Press (Compile-Time Inference launch, September 2026)

- Launch press release — "Verificate launches Compile-Time Inference: facts first, then the decision" (AI Infra Summit, 15 Sep 2026): https://www.ai-infra-summit.com/press-releases/verificate-launches-compile-time-inference-facts-first-then-the-decision-
- Essay by Craig Atkinson — "The most expensive place to do your thinking is at query time" (AI Infra Summit, 14 Sep 2026): https://www.ai-infra-summit.com/press-releases/the-most-expensive-place-to-do-your-thinking-is-at-query-time
- Companion articles on verificate.ai: https://verificate.ai/articles/compile-time-inference-launch/ and https://verificate.ai/articles/query-time-is-the-most-expensive-place-to-think/
- News: https://verificate.ai/news/

## Research & evidence

- Evidence & evaluation: https://verificate.ai/evidence/
- Compile-Time Inference: https://verificate.ai/compile-time-inference/
- Compile-Time Inference product brochure (PDF, 4 pages, September 2026): https://verificate.ai/Verificate_Compile-Time_Inference_Brochure.pdf
- EAV-DT paper: https://arxiv.org/abs/2606.29280
- CORTEX hallucination-prevention paper: https://arxiv.org/abs/2602.17691
- Benchmarks: https://verificate.ai/benchmarks/
- Claim substantiation: https://verificate.ai/legal/

## Contact

- Book a call: https://calendar.app.google/uNs6AAPXKg1ZnLNX6
- Contact: https://verificate.ai/contact/
- X: https://x.com/V_erificate · LinkedIn: https://www.linkedin.com/in/atkinsoncraigm