Correctover is the evidence layer for AI agents and MCP tool calls. Enforce at the boundary, emit signed CCS receipts, verify without trusting a vendor console. Built as a hosted control plane with subscription tiers — same shape as modern agent gateways, focused on portable proof.
SDK hook, gateway callback, or sidecar. Decision events enter the control plane without rip-and-replace of your stack.
Allow/deny context and operational logs for your team — the same class of visibility gateway vendors ship.
Ed25519 over JCS-canonical fields. Portable artifacts a third party verifies offline with the public verifier path.
Hosted dashboard, API, retention, and export into SIEM or GRC evidence packs.
| Typical MCP gateway / AI control plane | Correctover | |
|---|---|---|
| Primary job | Auth, policy, route, observe | Decision evidence that survives outside the console |
| Audit artifact | Logs inside the product | Logs + offline-verifiable signed receipts |
| Replace your gateway? | Often yes | No — sit after or beside it |
| Commercial | Platform subscription | SaaS subscription on evidence volume + seats |
We copy the business shape (hosted plane, tiers, trial) of Speakeasy / Permit-class products — not their full proxy feature matrix.
Core IP: signed, canonical decision receipts and must-fail cases for tamper/replay demos.
Public verification path so customers and auditors are not locked to our UI.
agent-runtime-guard patterns: fail-closed posture on tool boundary when you opt in.
Fixed-scope pilots available; production on subscription after success criteria.