Vericto Proxy mode (local, PostgreSQL)

com.vericto由 vericto.com 发布v5.0.0更新于 Nov 4, 2026

面向AI代理的只读PostgreSQL:每条语句在执行前都会经过检查。无需账户。

AI 翻译由 AI 模型根据下方的原文描述翻译,可能有误。

原文描述

Read-only PostgreSQL for AI agents: every statement is checked before it runs. No account needed.

发布方自己的服务:Vericto SQL Firewall

已验证STDIO仅桌面数据库AI 与机器学习

概览

Vericto Proxy mode (local, PostgreSQL) 的本地 MCP 服务,由 vericto.com 发布;无需登录;STDIO。

暂无 AI 概览:以下信息来自注册中心条目和服务本身。

发布者
vericto.com

安装

在 SourceWeft 中

  1. 打开 控制台中的 Vericto Proxy mode (local, PostgreSQL),将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Desktop only,通过 STDIO。 STDIO 服务会启动本地进程,因此需要 SourceWeft 桌面宿主。

其他 MCP 客户端

参照 仓库 中的启动说明。

README

Vericto Proxy

Stops destructive SQL before it reaches your database, whether it comes from AI agents, scripts or people, with no code changes.

[CI] [License: AGPL-3.0-only] [Rust 1.88+] [Docker Hub]

AI agents, scripts and people all run SQL against production with real credentials. Nobody reads each statement before it runs, and a database role decides what a user may touch, not whether this particular statement should run. One DELETE without a WHERE empties a table. A SELECT of the wrong columns copies emails or card numbers to wherever the result goes.

vericto-proxy sits between your clients and the database, on the database's own wire protocol. It parses every query with the vericto-engine AST parser, checks it against your rules, and either forwards it to the real database or blocks it with a normal SQL error. Your application only changes the host and port in its connection string.

License. Open source under the AGPL-3.0-only, or under a commercial license from Vericto S.A.S. You can self-host it and use it for free, including in production at a for-profit company. Distributing it, or offering a modified version over a network, requires providing the source under the AGPL; anyone who cannot do that can ask for the commercial license. Versions up to 4.23.0 keep the license they were released with. LICENSING.md answers the common questions.

One proxy instance fronts one database and speaks exactly one wire protocol, chosen at deploy time with VERICTO_WIRE_PROTOCOL:

VERICTO_WIRE_PROTOCOLDatabasesBlock response
postgres (default)PostgreSQLnative ErrorResponse SQLSTATE 42501
mysqlMySQLnative ERR_Packet ERROR 1142

Everything else — configuration, evaluation, telemetry — is the same across engines. Only the value above and (optionally) the default ports change.

No AI, no stochastic heuristics — the same input always produces the same result.

Other dialects (Oracle, SQL Server, Snowflake, SQLite): evaluate via the HTTP API, the CLI or MCP; there is no wire proxy for them. Snowflake has no TCP wire protocol at all, so VERICTO_WIRE_PROTOCOL=snowflake stops the proxy at startup with an error. SQLite is a library linked into the application, with no wire protocol either: its SQL is checked in the application, before it runs.


Try it with Docker

All you need is Docker: no account, no API key, no build. This starts a throwaway Postgres, puts the proxy in front of it with the built-in ruleset, and sends a few queries through it with the psql that ships in the Postgres image. The password demo is only for this disposable database.

bash
docker network create vericto-demodocker run -d --name vericto-demo-db --network vericto-demo \  -e POSTGRES_PASSWORD=demo postgres:17docker run -d --name vericto-demo-proxy --network vericto-demo \  -e UPSTREAM_HOST=vericto-demo-db vericto/vericto-proxy:5.0.0until docker exec vericto-demo-db pg_isready -q -h localhost -U postgres; do sleep 1; done
docker run --rm --network vericto-demo postgres:17 \  psql postgresql://postgres:demo@vericto-demo-proxy:5433/postgres \  -c "CREATE TABLE users (id int PRIMARY KEY, email text)" \  -c "INSERT INTO users VALUES (1, '[email protected]'), (42, '[email protected]')" \  -c "DELETE FROM users" \  -c "DELETE FROM users WHERE id = 42" \  -c "SELECT id, email FROM users"

The image comes from Docker Hub; ghcr.io/vericto/vericto-proxy:5.0.0 serves the same digest (see Docker).

The DELETE without a WHERE never reaches the database; the one with a WHERE does:

text
CREATE TABLEINSERT 0 2ERROR:  Vericto blocked this query [VERICTO-001] — AST node: DeleteStmt > WhereClause = NULL. Suggestion: DELETE FROM users WHERE id = $1DELETE 1 id |      email----+-----------------  1 | [email protected](1 row)

docker logs vericto-demo-proxy shows the decision. To put the proxy in front of your own database, see Docker and Connection strings. Clean up with:

bash
docker rm -f vericto-demo-db vericto-demo-proxy && docker network rm vericto-demo

For assertion-based coverage of the article's extended protocol, pipelines, prepared-policy refresh, TLS/SCRAM, cancellation, COPY and PostgreSQL 18 cases, run examples/postgres-wire-article/run.sh.


Architecture position

Your app / ORM     │     │  SQL wire protocol (proxy listen port, default 5433)     ▼ vericto-proxy   ──── vericto-engine (lib) ────►  ALLOWED / BLOCKED     │     │  (if ALLOWED) forwards query     ▼ Real database upstream

Point your DATABASE_URL host at vericto-proxy instead of your real database. No code changes required — your ORM/driver is unaware of the proxy.


What it blocks

With the built-in ruleset, these never reach the database:

  • DELETE / UPDATE without WHERE
  • DROP TABLE, DROP SCHEMA, TRUNCATE
  • OR-tautology SQL injection (WHERE id = $1 OR 1=1)
  • ALTER TABLE DROP COLUMN / RENAME
  • … full rule list →

Lower-severity findings — SELECT * without WHERE, SELECT without LIMIT, INSERT without an explicit column list — are forwarded and recorded rather than blocked. With the control-plane link on, the workspace policy decides the action for each severity.

Bounded reads (4.17.0). To cap what an agent reads instead of only flagging it, a business policy with action: { rewrite_limit: n } (the LIMIT cap template in rewrite mode) makes the proxy forward the statement with LIMIT n added, or a larger LIMIT lowered, on Postgres and MySQL, simple and prepared statements. It needs VERICTO_POLICY_RULES=enforce; see docs/CONFIGURATION.md.

A blocked query is returned as a native error for the active protocol (see the table above), so no special handling is needed in your application.

PostgreSQL pipelines and prepared statements (4.17.3). Local block and session-context replies are ordered at the exact position of their upstream response cycle, after every earlier pipelined result. Backend messages are framed, so even a large row or COPY message is never split by a synthetic reply. Named and unnamed prepared SQL is checked again at Bind and Execute after a rules, policy, principal or session-context refresh; business policies that may read the time (time.*) are checked on every Execute, the others keep the verdict reached under the same rules, policy, bundle and session context (see docs/CONFIGURATION.md). If a mask or rewrite_limit would now require different SQL, the proxy returns VERICTO-PREPARED-STALE and the client must close and prepare the statement again. Portals retain the plan they bound even after their source statement is closed or replaced. PostgreSQL COPY BOTH/replication is rejected by closing the session rather than risk response mis-ordering. A FunctionCall denied by an agent-access policy also closes, because a Query-based ordering marker would change unnamed-statement state. MySQL behavior is unchanged in this patch: a MySQL prepared statement is still checked when prepared, not refreshed when it is later executed.


Sensitive columns

Columns can be tagged as sensitive per database in the Vericto dashboard (Team and Enterprise plans). The tags reach the proxy with the ruleset (/sync/rules, so the control-plane link and VERICTO_DATABASE_ID are required) and are enforced on the wire, before the database sees the query. When a query reads several tagged columns the strictest policy wins (block > mask > flag). The proxy enforces: unlike the Validation API or the CLI, which only advise, what the proxy decides is what the database receives.

PolicyPostgresMySQL
blockThe query never reaches the database: ErrorResponse, SQLSTATE 42501Never reaches the database: ERR_Packet, ERROR 1142
flagForwarded as sent, recorded as FLAGGEDSame
maskThe proxy forwards a rewritten query in which the column is masked (full, last4, email or hash) under its own name, and never the original. The client receives masked values.Same: the proxy forwards the rewritten query in the same COM_QUERY or COM_STMT_PREPARE, and never the original.

If a rewrite does not hold together, the proxy blocks with VERICTO-085 rather than forward the original. SELECT * over a table with a masked or blocked column is blocked; list the columns. The full behaviour (both protocols, prepared statements, fail-safe cases, parse errors, telemetry, known limits) is in docs/SENSITIVE_COLUMNS.md.


Agent access

An allowlist per database user (Team and Enterprise plans), set in the Vericto dashboard: which tables and columns that user may read, and which it may write. Everything else is denied (VERICTO-087). The policies reach the proxy with the ruleset (/sync/rules, so the control-plane link and VERICTO_DATABASE_ID are required), keyed by database user, with an optional "*" default for every user not listed.

The identity of a session is the database user it authenticated as, so give each agent its own database user and a policy for that user. Under a policy, every reference counts (WHERE, JOIN, subqueries, RETURNING, not only what the query returns), DDL is always denied, and the identity cannot be changed from inside the session (SET ROLE, USE, COM_CHANGE_USER and the like are denied). A policy in observe mode records what it would deny and forwards the query.

The full behaviour (name resolution, writes and locks, policy changes on open sessions, telemetry, known limits) is in docs/AGENT_ACCESS.md.

Kill switch (4.18.0). When an owner or admin blocks an agent (or every agent of the workspace) from the dashboard's Incident response panel, the proxy refuses every statement of that database user from its next rule sync with VERICTO-105 and the kill-switch message the Runtime API returns, before anything is evaluated and in every mode: SELECT 1, SET and BEGIN included, and statements prepared before the block. Lifting the block restores the session at the following sync. See docs/AGENT_ACCESS.md.


MCP: an agent runs SQL through Vericto (Proxy mode)

vericto-proxy mcp (4.21.0) is an MCP server for AI agents: Claude Code, Cursor, Codex or any MCP client gets an execute_sql tool and no database credential. Each statement is evaluated first, and the server runs exactly what it evaluated (or the policy's rewrite of it) on PostgreSQL, read-only, in a transaction that always rolls back, with row, size and time caps. describe_schema, a local check_sql and whoami come with it. Over stdio for a developer's machine, or Streamable HTTP for a team.

Try it without an account. With no control plane configured it runs locally on the built-in ruleset (the rules the TCP proxy runs standalone) and reports nothing:

bash
claude mcp add vericto-db -- \  docker run -i --rm --user "$(id -u):$(id -g)" \    -v ~/.config/vericto/shop.url:/run/secrets/db.url:ro \    vericto/vericto-proxy:5.0.0 /usr/local/bin/vericto-proxy mcp --database-url-file /run/secrets/db.url

Connect to Vericto for custom rules, business policies, sensitive-column masking, audit and the dashboard: add -e VERICTO_API_KEY=vtro_... -e VERICTO_DATABASE_ID=<id> (and pass both into the container). A configured control plane is never replaced by the built-in rules: until its first signed bundle is in force the server answers NOT_READY.

What is checked is what runs, provided the agent has no other credential for the database: the server warns when its environment exposes one. Setup for each client (with or without an account), the HTTP mode, the limits and the security notes are in docs/MCP.md.


Configuration

All variables are dialect-agnostic — the same names apply to every engine.

Required

VariableDescription
UPSTREAM_HOSTHostname of the real database to proxy to

Ports

VariableDefaultDescription
UPSTREAM_PORTprotocol default¹Port of the upstream database
PROXY_LISTEN_PORTprotocol default¹Port the proxy listens on

¹ Defaults follow VERICTO_WIRE_PROTOCOL: Postgres 5432 upstream / 5433 listen; MySQL 3306 upstream / 3307 listen.

Everything else

The rest is optional and documented in docs/CONFIGURATION.md:

  • Control-plane link (VERICTO_API_URL, VERICTO_API_KEY, VERICTO_DATABASE_ID, all three together): reports decisions to the Vericto API and syncs the workspace's rules and policy. Without it the proxy still protects with the built-in ruleset, and reports nothing. Also covers the telemetry buffer, over the monthly quota, disk spool size and several proxies on one volume.
  • TLS on each hop, client→proxy and proxy→database. On MySQL, TLS must be on both hops or neither.
  • Query admission limits: VERICTO_MAX_QUERY_BYTES (1 MiB by default on TCP; MCP stays at 64 KiB) and a linear pre-parse guard against expressions with more than 10,000 binary operators (VERICTO_MAX_BINARY_OPERATORS).
  • Business policy rules (VERICTO_POLICY_RULES, off by default): a preview, off unless you turn it on; with it off the proxy skips principal-aware policy evaluation. PostgreSQL response ordering and prepared-statement tracking remain active. With it on, the proxy applies only sync bundles whose Ed25519 signature verifies (VERICTO_BUNDLE_SIGNING_KEYS for a control plane other than Vericto's).
  • Health check for load balancers (VERICTO_HEALTHZ_PORT).
  • Observability: logs, and metrics as Prometheus or CloudWatch EMF.
  • CPU sizing: capacity per vCPU, when to scale out (CPU at 50–60% of the task's reservation), and VERICTO_WORKER_THREADS (by default sized from the container's CPU limit, 1 worker on a 0.5 vCPU task).
  • Engine-specific notes, including MySQL details (TLS, protocol compression).

To run from source and run the tests, see CONTRIBUTING.md.


Docker

Release images are published on Docker Hub as vericto/vericto-proxy (from 4.14.1 on) and at ghcr.io/vericto/vericto-proxy, for linux/amd64 and linux/arm64, and pull without credentials. The release workflow copies the multi-arch index it pushed to GHCR, so both registries serve the same digest under the same tags (<version>, <major>.<minor>, <major> and latest): pull from whichever your environment allows.

bash
# Postgres. On Linux, add --add-host=host.docker.internal:host-gatewaydocker run --rm -e UPSTREAM_HOST=host.docker.internal -p 5433:5433 \  vericto/vericto-proxy:5.0.0
# MySQLdocker run --rm \  -e VERICTO_WIRE_PROTOCOL=mysql \  -e UPSTREAM_HOST=host.docker.internal \  -p 3307:3307 \  vericto/vericto-proxy:5.0.0
# The same image from GHCRdocker pull ghcr.io/vericto/vericto-proxy:5.0.0

Images released from now on carry a build provenance attestation (Sigstore, GitHub Actions) that ties their digest to this repository, the release workflow and the commit. Verify one before you deploy it, and deploy by digest:

bash
gh attestation verify oci://ghcr.io/vericto/vericto-proxy:<version> --repo vericto/vericto-proxy
# Docker Hub (4.14.1 and later): the same digest, attested under its Docker Hub namegh attestation verify oci://docker.io/vericto/vericto-proxy:<version> --repo vericto/vericto-proxy

Each platform image (4.15.2 and later) also carries a signed SPDX SBOM attestation, made for the platform manifest's digest (docker buildx imagetools inspect lists both):

bash
gh attestation verify oci://ghcr.io/vericto/vericto-proxy@<platform digest> \  --repo vericto/vericto-proxy --predicate-type https://spdx.dev/Document/v2.3

The runtime base is Chainguard glibc-dynamic (4.15.2 and later; debian:bookworm-slim before): glibc, libgcc and the CA bundle, no shell and no package manager. The proxy runs as 65532:65532 (nonroot; it was 1001:1001 up to 4.15.1, so chown a volume an older image wrote, or pass --user 1001:1001). Health checks call the binary instead of a shell, in exec form: ["CMD", "/usr/local/bin/vericto-proxy", "healthcheck"] (Docker Compose healthcheck.test, ECS healthCheck.command). It connects to the healthz listener (VERICTO_HEALTHZ_PORT) and exits 0 when that succeeds or the port is not set, 1 otherwise. A CMD-SHELL check, bash -c, curl or wget fails in this image.

To build the image from this checkout instead:

bash
docker build -t vericto/proxy:local .

With Docker Compose:

yaml
proxy:  image: ${VERICTO_PROXY_IMAGE:-vericto/vericto-proxy:5.0.0}  ports:    - "5433:5433"  environment:    UPSTREAM_HOST: postgres    UPSTREAM_PORT: "5432"    PROXY_LISTEN_PORT: "5433"    # For MySQL: VERICTO_WIRE_PROTOCOL: "mysql" + the matching ports.    # Optional — uncomment for telemetry + rule sync (all three together):    # VERICTO_API_URL: "https://api.vericto.com"    # VERICTO_API_KEY: "${VERICTO_API_KEY}"    # VERICTO_DATABASE_ID: "${VERICTO_DATABASE_ID}"

Connection strings

Connection string
Postgres via proxypostgres://user:pass@localhost:5433/mydb
MySQL via proxymysql://user:pass@localhost:3307/mydb

Same credentials as a direct connection — only the host/port change.


Contributing

Wire-protocol, TLS, telemetry and deployment fixes belong here; rules and parser changes belong in vericto-engine. See CONTRIBUTING.md and SECURITY.md.

License

Copyright 2026 Vericto S.A.S. and contributors.

vericto-proxy 5.0.0 and later is open source under the GNU Affero General Public License, version 3 only (AGPL-3.0-only). Vericto S.A.S. also offers separate commercial licenses. The AGPL permits commercial use and competition subject to its conditions; it is not a non-compete license.

Versions 4.14.0 through 4.23.0 remain under FSL-1.1-ALv2, including its future Apache-2.0 grant. Versions 4.13.0 and earlier remain under Elastic License 2.0. LICENSING.md explains the options and embedded engine, and LICENSE_HISTORY.md identifies the release boundaries. See also NOTICE, TRADEMARKS.md and CONTRIBUTING.md.

The Docker image carries LICENSE, NOTICE, THIRD_PARTY_LICENSES (the licenses of dependencies compiled into the binary) and RUNTIME_BASE_LICENSES (the pinned base-image packages and their license texts) in /usr/share/doc/vericto-proxy/. Package SPDX documents remain under /var/lib/db/sbom, and the image label is org.opencontainers.image.licenses=AGPL-3.0-only:

bash
# The image has no shell or `cat` (4.15.2 and later), so copy the file out:id=$(docker create ghcr.io/vericto/vericto-proxy:latest)docker cp "$id":/usr/share/doc/vericto-proxy/THIRD_PARTY_LICENSES - | tar -xOdocker rm "$id" >/dev/null

来源:README.md,提交 62aed43

工具

0
SourceWeft 曾在隔离沙箱中以无凭据方式启动该软件包一次,以列出其工具,但未能完成:该软件包类型无法在沙箱中运行。

版本历史

2
  1. v5.0.0最新Nov 4, 2026
  2. v4.23.0Nov 3, 2026

评分

已满足适用检查项的 50%

该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。

  • 近 30 天内可连通25 分

    请保持端点能够响应 MCP 握手;SourceWeft 每 30 天探测一次。

  • 已声明认证方式10 分

    请在注册中心条目中声明凭据请求头,或保持端点能够响应探测,以便判定其认证方式。

  • 已列出工具15 分

    请让服务器在无凭据时响应 tools/list,或发布可在沙箱中无凭据启动的软件包。

  • 描述必需15 分
  • 图标10 分
  • 文档15 分
  • 许可证10 分

其他 Vericto 集成