SEMANTIC AST Deterministic SQL firewall for AI agents

Your LLM generated a DELETE without WHERE. We blocked it before it reached production.

Connect it as a TCP proxy, HTTP API, or CLI. Vericto parses each query's AST in <2ms and blocks destructive operations before they reach production. Deterministic, no false positives, no code changes.

No code changes required Onboarding in <5 minutes No false positives by design
Intercepting LLM agent query...
SQL DELETE FROM users
BLOCKED VERICTO-001
AST node: DeleteStmt > WhereClause = NULL
Estimated rows affected: 847,293
Suggestion: DELETE FROM users WHERE id = $1
Parsing latency: 1.3ms
10M+ queries analyzed
<2ms p99 latency
0 heuristic false positives
4 SQL dialects

The problem nobody solves well

AI agents generate unsupervised queries. Database permissions are fragile. Operation allowlists cannot detect UPDATE without WHERE or TRUNCATE inside CTEs.

WITHOUT VERICTO

Unprotected pipeline

LLM Agent
Production
DELETE FROM users -- Sin WHERE. 847,293 filas. -- Irrecuperable.
  • Fragile DB permissions that are hard to audit
  • Allowlists cannot detect UPDATE without WHERE
  • No visibility into what the LLM generated
WITH VERICTO

Proxy in the critical path

LLM Agent
Vericto
Production
BLOCKED VERICTO-001 DeleteStmt > WhereClause = NULL
Suggested safe query: DELETE FROM users WHERE id = $1
  • Full semantic AST tree parsing
  • Actionable explanation with exact AST node
  • Immutable audit trail for SOC2/ISO27001

Not AI judging AI. It's math.

AST parsing produces the same result 100% of the time, no stochastic variance, no model drift. Certifiable for SOC2 audits.

Sub-2ms in the critical path. Your database won't notice.

AST parsing of a typical query (<500 tokens) takes <2ms at p99. Measurable overhead vs direct connection in benchmarks: <0.3%.

It doesn't just block. It tells you exactly why and how to fix it.

Each block includes: offending AST node, violated rule, severity score, and suggested safe query. Reduces debug time from 4h to <15min.

WHY VERICTO

Three reasons teams choose it

It's not another regex allowlist. It's a deterministic SQL firewall that fits your stack and is production-ready.

Deterministic, not probabilistic

Full AST parsing with each dialect's official parser: no ML, no regex, no heuristics. The same input always yields the same verdict in <2ms, with no heuristic false positives. Postgres, MySQL, Oracle, and SQL Server.

AST · no ML

Fits your stack in minutes

Three ways to connect: TCP proxy (zero code changes), HTTP API, or CLI for CI/CD. Works with any driver, ORM, LangChain, or MCP server. Your credentials never leave your network.

TCP · API · CLI

Production- and audit-ready

Signed audit trail (Ed25519, offline-verifiable), real-time alerts, CI/CD dry-run, SSO/OIDC, and custom YAML rules. Direct evidence for SOC2 and ISO 27001.

Audit · SSO · compliance
FEATURES

Everything it includes

The full detail behind the three pillars: parsing, performance, integration, operations, and compliance.

Zero Stored Credentials

Vericto never stores your database credentials. The proxy runs in your own infrastructure and forwards authentication transparently. Your credentials never leave your network.

SECURITY

No Code Changes

Just change the host in your connection string. Vericto speaks the PostgreSQL wire protocol, so your ORM, driver, or framework works as-is. No agents, no SDK, no refactors.

Full Semantic AST Parsing

Analyzes the full syntactic structure of the query, not just the first token. Detects DELETE with LIMIT 0, UPDATE without WHERE in nested subqueries, and TRUNCATE hidden inside CTEs.

KEY DIFFERENTIATOR

No False Positives by Design

AST parsing is deterministic: the same input always produces the same output. No ML models, no stochastic variance. If the query is safe, it passes. If it's destructive, it's blocked with an explicit reason.

Guardrail for AI Agents & Text2SQL

Built for LLM-generated SQL. Inspects every query your agents, copilots, or Text-to-SQL pipelines send to the database and blocks the destructive ones before they run.

Fail-Open: Never Takes Down Your Database

If the control plane is unreachable or a query can't be parsed, traffic keeps flowing instead of being cut off. The proxy prioritizes your database availability and logs the event for review.

Sub-2ms at p99

The Rust TCP proxy with pg_query and sqlparser-rs guarantees parsing latency <2ms at the 99th percentile. Overhead vs direct connection: <0.3%. Your database won't notice.

True Multi-Dialect

Postgres, MySQL, Oracle, and SQL Server with dialect-specific semantic rules. Not a generic regex applied to all. DELETE with LIMIT is valid in MySQL. Vericto knows that.

SQLITE & SNOWFLAKE: ROADMAP

Actionable Explanations

Each blocked query returns the exact AST node that triggered the block plus the suggested safe version. Shortens the debug cycle from hours to seconds.

Immutable Audit Trail

Immutable record of every Vericto decision, exportable in CSV/JSON with an Ed25519 signature for SOC2 and ISO27001 evidence. With real-time alerts via Slack or webhooks on CRITICAL blocks.

Dry-Run Mode for CI/CD

Validates SQL queries in your CI pipeline before deploy. The pipeline fails with an actionable report if destructive queries are detected.

Custom Rules in YAML

Define specific conditions on the AST for query patterns unique to your domain. Real-time preview against query history before activating in production.

HOW IT WORKS

Three steps. Start wherever you want.

Start wherever there's least friction: CLI, API, or proxy. Vericto evaluates every query with the same deterministic AST engine.

Connect however you prefer

Three ways, zero friction to start: validate in CI with the CLI, call the HTTP API from your pipeline, or put the TCP proxy in front of your database. The proxy needs no code changes: just the connection string host.

- postgres://user:pass@prod-db.host:5432/db
+ postgres://user:pass@localhost:5433/db

Vericto parses the AST in real time

Each query is analyzed with its dialect's official parser: Postgres, MySQL, Oracle, and SQL Server. The full syntax tree, not just the first token or text patterns.

DeleteStmt
relation: users
whereClause: NULL ⚠

Destructive ones blocked. Safe ones pass.

Queries that violate the ruleset are blocked with the offending AST node, the triggered rule, and a suggested safe version. Clean ones pass with under 2ms added latency in proxy mode.

BLOCKED DELETE FROM users
ALLOWED SELECT * FROM users WHERE id = $1
USE CASES

Built for the two highest-risk scenarios

LLM agents with database access and CI/CD pipelines with LLM-generated SQL, where the real incidents happen.

INTEGRATIONS

Works with your current stack

Vericto is compatible with any driver or ORM that uses a standard connection string. No code changes.

Databases

PostgreSQL

Full Postgres dialect support (CTEs, subqueries, extensions) using pg_query, the official parser. Available via inline TCP proxy or the HTTP evaluation API.

TCP ProtocolVia APICLI

MySQL

Full MySQL dialect support with dialect-specific semantic rules: DELETE with LIMIT is valid in MySQL, Vericto applies the correct rules. Available via inline TCP proxy or the HTTP API.

TCP ProtocolVia APICLI

SQLite

Roadmap: SQLite dialect support for agents and embedded environments. Ideal for protecting AI pipelines in edge functions and CLI tools with local database access.

COMING SOON

Oracle

Oracle dialect support via the HTTP evaluation API (no TCP wire proxy for Oracle yet). Blocks DELETE/UPDATE without WHERE, DROP TABLE, and TRUNCATE with the same deterministic AST parser.

Via APICLI

SQL Server

MSSQL / SQL Server dialect support via the HTTP evaluation API (no TCP wire proxy yet). AST parsing with T-SQL semantic rules, including CTEs and proprietary syntax.

Via APICLI

Snowflake

Roadmap: protection for LLM analytics pipelines on Snowflake. Will block TRUNCATE and DROP on production data warehouses.

COMING SOON

Frameworks & tools

LangChain

Compatible with any LangChain agent that uses SQLDatabase. Just change the connection string in your SQLAlchemy engine.

Compatible

Vercel AI SDK

Vericto is transparent to Text-to-SQL pipelines built with the Vercel AI SDK: because the proxy intercepts at the database wire protocol, it protects generated queries no matter how they were produced. No changes to your generation code.

Compatible

Supabase

Protect your Supabase database from destructive agent queries. Being Postgres, it works with the native TCP proxy: point your connection string at the proxy, no code changes.

Compatible

MCP Servers

Native protection for MCP servers that expose databases to AI agents. The MCP ecosystem grows 3x YoY. Vericto grows with it.

Native

GitHub Actions

Native GitHub Actions integration for dry-run in CI/CD. Inline PR annotations flagging destructive queries with the rule code and fix suggestion.

CI/CD

TCP proxy, HTTP API, CLI and more. Vericto works with any driver that uses a standard connection string. See all integrations →

PRICING

Simple pricing. No surprises.

Start free. Scale when you need it.

Free

$0 /mo

To explore Vericto in staging or development.

  • 500K queries/mo
  • 1 database
  • 28 standard rules
  • 7-day log retention
  • Custom rules
  • Slack/webhook alerts
  • CI/CD dry-run SDK
Start for free

Builder

$49 /mo

For teams building with AI agents in production.

  • 5M queries/mo
  • 3 databases
  • Custom rules (YAML)
  • 30-day log retention
  • Slack/webhook alerts (5/15 min digest)
  • CI/CD dry-run SDK
  • Exportable audit trail
Activate Builder plan

Team

$149 /mo

For teams with multiple databases and CI/CD pipelines.

  • Unlimited queries
  • 10 databases
  • Unlimited custom rules
  • 90-day log retention
  • CI/CD dry-run SDK
  • Exportable audit trail (CSV/JSON)
  • Near-real-time alerts ≤5s (Slack/Teams/webhook)
  • Email support
Activate Team plan

Enterprise

Custom

SLA, SSO, VPC deployment, and compliance reports for organizations.

  • Everything in Team plan
  • Guaranteed SLA
  • SSO (SAML/OIDC)
  • VPC deployment
  • Compliance reports (SOC2/ISO27001)
  • Configurable retention
  • Priority support
Talk to the team
WHY TRUST US

Deterministic and verifiable. We don't ask for blind trust.

Vericto doesn't use AI to decide what to block: it uses deterministic AST parsing. The same input always yields the same result, and you can audit it.

<2ms Parsing latency at p99. Overhead over a direct connection: <0.3%.
0 False positives by design: deterministic rules over the AST, no stochastic heuristics.
4 SQL dialects with an official parser: Postgres, MySQL, Oracle, and SQL Server.
Ed25519 Signed, offline-verifiable audit trail: direct evidence for SOC2 / ISO 27001.
The proxy runs in your own infrastructure: your credentials never leave your network. 500K queries/month free, no credit card required. Zero code changes with the TCP proxy: just the connection string.
FAQ

Frequently asked questions

Precise technical answers. No marketing-speak.

START TODAY

Your AI agent shouldn't have unrestricted access to production.

Connect your first database in less than 5 minutes.

No credit card required
Onboarding in <5 minutes
Cancel anytime