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 6 | Los 6 | Los 6 | Los 6 |
| 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 APISDKCLI
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 APISDKCLI
Oracle
El dialecto Oracle con los SDK de Python y Node, la API de runtime, el CLI y MCP; Oracle no tiene proxy TCP. Bloquea DELETE/UPDATE sin WHERE, DROP TABLE y TRUNCATE con el mismo motor AST determinístico.
Vía APISDKCLI
SQL Server
El dialecto SQL Server (T-SQL) con los SDK de Python y Node, la API de runtime, el CLI y MCP; SQL Server no tiene proxy TCP. Reglas AST para T-SQL, incluidos CTEs y sintaxis propietaria.
Vía APISDKCLI
SQLite
Dialecto SQLite para agentes, apps embebidas y bases locales. Sin proxy, porque SQLite vive dentro de tu aplicación: SDK de Python y Node, API de runtime, CLI y MCP. Bloquea ATTACH, los PRAGMA que desactivan protecciones, load_extension y VACUUM INTO.
Vía APISDKCLI
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: SDK de Python y Node, API de runtime, CLI y MCP.
Próximamente: un conector de historial de solo lectura que lee ACCOUNT_USAGE.QUERY_HISTORY y muestra lo que Vericto habría bloqueado (solo observa, después de la ejecución).
Frameworks y herramientas
SDK de Python
pip install vericto. Envuelve snowflake-connector-python, sqlite3, SQLAlchemy y cualquier driver DB-API, con integraciones para LangChain, LlamaIndex, dbt (vericto-dbt check) y Airflow. PyPI · vericto-python.
SDK de Node.js
npm install @vericto/sdk. Envuelve snowflake-sdk y better-sqlite3, con una integración para agentes SQL de LangChain.js y un cliente de la API de runtime para cualquier otro driver. npm · vericto-node.
LangChain
VerictoSQLDatabase (Python, vericto[langchain]) y @vericto/sdk/langchain (LangChain.js) revisan cada query que ejecuta un agente o una chain SQL; una query bloqueada no se ejecuta y el modelo recibe el motivo y la corrección sugerida.
dbt
pip install "vericto[dbt]". vericto-dbt check revisa en CI el SQL compilado de tus modelos, snapshots y hooks, y lo reporta como tabla, JSON o SARIF. Solo lee los artefactos de dbt: nada se ejecuta.
Airflow
pip install "vericto[airflow]". VerictoSQLExecuteQueryOperator revisa cada sentencia antes de que la tarea la ejecute, y la cluster policy guard_sql_tasks agrega la misma revisión a las tareas SQL que ya tienes. Una tarea bloqueada falla sin ejecutar nada.
MCP
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.
Agentes de IA
GitHub Actions
La acción vericto/check-sql revisa los archivos *.sql que cambia cada PR, muestra los hallazgos como anotaciones de Code Scanning y hace fallar el job si algo se bloquea. Con API key o con OIDC de GitHub, sin secretos guardados.
GitLab 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.