Conecta Vericto a tu stack en minutos.
Proxy TCP, API de runtime, CLI, API de validación o MCP para agentes de IA. Vericto funciona con cualquier driver, ORM o pipeline que use un connection string estándar, sin reescribir tu código.
DATABASE_URL=postgres://vericto-proxy:5433/db
curl .../api/v1/proxy/query -d '{"query":"DELETE FROM users"}'
curl .../api/v1/ci/check-key -d '{"sql":"DELETE FROM users"}'
vericto check migrations/0001.sql
check_sql {"sql": "DELETE FROM users"}
Modos de conexión
Elige el que encaje con tu arquitectura. La misma evaluación AST determinística en los cinco.
Proxy TCP
La forma más simple: apunta tu connection string al proxy de Vericto en lugar de a tu base de datos. Intercepta cada query a nivel de protocolo (Postgres/MySQL) y bloquea las destructivas antes de que lleguen. Cero cambios de código.
API de runtime
Protección en runtime desde tu código: tu aplicación envía cada query a /api/v1/proxy/query, una por llamada, y la ejecuta solo si no está bloqueada. El veredicto se aplica en la medida en que tu aplicación lo respete. Queda en Queries, como con el proxy TCP. Los seis dialectos.
CLI
El binario vericto valida SQL contra las reglas de tu workspace en pre-commit hooks y pipelines de CI/CD. Exit code según el veredicto. Binarios para Linux, macOS y Windows publicados en cada release.
API de validación
Revisa lotes de SQL sin ejecutarlos, desde tus propias herramientas: /api/v1/ci/check-key devuelve un veredicto por sentencia y un exit_code. Nada se ejecuta. Los seis dialectos.
MCP
Tu agente de código (Claude Code u otro cliente MCP) valida el SQL contra las reglas de tu workspace mientras lo escribe, antes del commit. Servidor MCP remoto: pegas una URL y tu API key, no instalas nada.
¿Qué modo elegir?
| Proxy TCP | API de runtime | CLI | API de validación | MCP | |
|---|---|---|---|---|---|
| Cero cambios de código | ✓ | — | — | — | — |
| Bloqueo inline (en el path de la query) | ✓ | — | — | — | — |
| Protección en runtime (la query se ejecuta solo si no está bloqueada) | ✓ | Si tu app respeta el veredicto | — | — | — |
| Revisión del SQL sin ejecutarlo | — | — | ✓ | ✓ | ✓ |
| Ideal para CI/CD y pre-commit | — | — | ✓ | ✓ | — |
| Requiere desplegar el proxy | ✓ | — | — | — | — |
| Dialectos | Postgres · MySQL | Los 4 | Los 4 | Los 4 | Los 4 |
| Validación mientras el agente escribe el SQL | — | — | — | — | ✓ |
Bases de datos
PostgreSQL
Soporte completo del dialecto Postgres (CTEs, subqueries, extensiones) con pg_query, el parser oficial. Disponible por proxy TCP inline o por la API HTTP de evaluación.
Protocolo TCPVía APICLI
MySQL
Soporte completo del dialecto MySQL con reglas semánticas específicas: DELETE con LIMIT es válido en MySQL, Vericto aplica las reglas correctas. Disponible por proxy TCP inline o por la API HTTP.
Protocolo TCPVía APICLI
Oracle
Soporte del dialecto Oracle vía la API HTTP de evaluación (aún sin proxy TCP wire para Oracle). Bloquea DELETE/UPDATE sin WHERE, DROP TABLE y TRUNCATE con el mismo parser AST determinístico.
Vía APICLI
SQL Server
Soporte del dialecto MSSQL / SQL Server vía la API HTTP de evaluación (aún sin proxy TCP wire). Parsing AST con reglas semánticas para T-SQL, incluyendo CTEs y sintaxis propietaria.
Vía APICLI
SQLite
Dialecto SQLite para agentes, apps embebidas y bases locales. Sin proxy, porque SQLite vive dentro de tu aplicación: API de runtime, CLI y MCP (SDK de Python y Node, próximamente). Bloquea ATTACH, los PRAGMA que desactivan protecciones, load_extension y VACUUM INTO.
Vía APICLI
Snowflake
Dialecto Snowflake para agentes y pipelines de analytics: bloquea descargas a stages, shares a otras cuentas, cambios de rol y costos de warehouse, además de TRUNCATE y DROP. Sin proxy TCP: API de runtime, CLI y MCP.
Vía APICLIFrameworks y herramientas
LangChain
Compatible con cualquier agente LangChain que use SQLDatabase. Solo cambia el connection string en tu SQLAlchemy engine.
Compatible
Vercel AI SDK
Vericto es transparente para pipelines Text-to-SQL construidos con el Vercel AI SDK: como el proxy intercepta a nivel del protocolo de la base de datos, protege las queries generadas sin importar cómo se produjeron. Sin cambios en tu código de generación.
Compatible
Supabase
Protege tu base de datos Supabase de queries destructivas de agentes. Al ser Postgres, funciona con el proxy TCP nativo: apunta tu connection string al proxy, sin tocar tu código.
Compatible
MCP Servers
El servidor MCP remoto de Vericto: Claude Code, Kiro y otros clientes MCP llaman a check_sql y reciben el veredicto de tus reglas antes de ejecutar el SQL.
Nativo
GitHub Actions
Integración nativa con GitHub Actions para dry-run en CI/CD. Anotaciones inline en el PR señalando queries destructivas con el código de regla y la sugerencia de fix.
CI/CDGitLab CI
Ejecuta el CLI de Vericto como job en tu pipeline de GitLab CI. Valida los cambios de SQL en cada merge request y detén el pipeline si aparece una query destructiva.
CI/CD¿Listo para conectar tu stack?
Empieza gratis con el proxy TCP en minutos, o revisa la guía de integración para el detalle paso a paso.