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.
DELETE FROM users
DeleteStmt > WhereClause = NULL
DELETE FROM users WHERE id = $1
AI agents generate unsupervised queries. Database permissions are fragile. Operation allowlists cannot detect UPDATE without WHERE or TRUNCATE inside CTEs.
DELETE FROM users
-- Sin WHERE. 847,293 filas.
-- Irrecuperable.
VERICTO-001
DeleteStmt > WhereClause = NULL
DELETE FROM users WHERE id = $1
AST parsing produces the same result 100% of the time, no stochastic variance, no model drift. Certifiable for SOC2 audits.
AST parsing of a typical query (<500 tokens) takes <2ms at p99. Measurable overhead vs direct connection in benchmarks: <0.3%.
Each block includes: offending AST node, violated rule, severity score, and suggested safe query. Reduces debug time from 4h to <15min.
It's not another regex allowlist. It's a deterministic SQL firewall that fits your stack and is production-ready.
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.
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.
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.
The full detail behind the three pillars: parsing, performance, integration, operations, and compliance.
Vericto never stores your database credentials. The proxy runs in your own infrastructure and forwards authentication transparently. Your credentials never leave your network.
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.
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.
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.
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.
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.
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.
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.
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 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.
Validates SQL queries in your CI pipeline before deploy. The pipeline fails with an actionable report if destructive queries are detected.
Define specific conditions on the AST for query patterns unique to your domain. Real-time preview against query history before activating in production.
Start wherever there's least friction: CLI, API, or proxy. Vericto evaluates every query with the same deterministic AST engine.
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
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.
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.
DELETE FROM users
SELECT * FROM users WHERE id = $1
LLM agents with database access and CI/CD pipelines with LLM-generated SQL, where the real incidents happen.
Vericto is compatible with any driver or ORM that uses a standard connection string. No code changes.
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 APICLIFull 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 APICLIRoadmap: SQLite dialect support for agents and embedded environments. Ideal for protecting AI pipelines in edge functions and CLI tools with local database access.
COMING SOONOracle 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 APICLIMSSQL / 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 APICLIRoadmap: protection for LLM analytics pipelines on Snowflake. Will block TRUNCATE and DROP on production data warehouses.
COMING SOONCompatible with any LangChain agent that uses SQLDatabase. Just change the connection string in your SQLAlchemy engine.
CompatibleVericto 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.
CompatibleProtect 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.
CompatibleNative protection for MCP servers that expose databases to AI agents. The MCP ecosystem grows 3x YoY. Vericto grows with it.
NativeNative GitHub Actions integration for dry-run in CI/CD. Inline PR annotations flagging destructive queries with the rule code and fix suggestion.
CI/CDTCP proxy, HTTP API, CLI and more. Vericto works with any driver that uses a standard connection string. See all integrations →
Start free. Scale when you need it.
To explore Vericto in staging or development.
For teams building with AI agents in production.
For teams with multiple databases and CI/CD pipelines.
SLA, SSO, VPC deployment, and compliance reports for organizations.
Precise technical answers. No marketing-speak.
Connect your first database in less than 5 minutes.
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.