sqlai.dev SQL Verifier MCP MCP server

Executes SQL queries in a real ephemeral database to provide ground truth results, typed errors with suggestions, query plans, and result-set diffs. It allows AI agents to verify SQL correctness without trusting LLM-generated code, using a fresh in-memory WASM sandbox for each call.

Endpoint and access

No sign-in: your client connects and lists tools immediately, with no account or key.

No sign-inEndpoint checked 2026-10-05Operated by sqlai.dev

MCP endpoint (Streamable HTTP)

https://mcp.sqlai.dev/mcp

Vendor documentation

What you can do with it

Execute SQL queries to get real results and row counts
Validate SQL syntax and receive typed error suggestions
Explain query execution plans and detect full scans
Diff result sets between two SQL queries

Tools advertised by the last live check:

run_sql
validate_sql
explain_plan
run_sql_batch
diff_results

Connect from your client

Each snippet registers the same endpoint; pick the client you use.

This server is operated by the named third party. Listing and endpoint checks are not an endorsement or a security audit. Review the operator's permissions, terms, and data handling before connecting. How listings are checked and corrected.

Claude Code

Run this once in a terminal. It registers a Streamable HTTP server. Use --scope project to write .mcp.json for the repo.

Claude Code configuration

claude mcp add --transport http sqlai-dev-sql-verifier-mcp https://mcp.sqlai.dev/mcp

Codex

Run this once. Codex stores MCP servers in ~/.codex/config.toml (or .codex/config.toml in a trusted project).

Codex configuration

codex mcp add sqlai-dev-sql-verifier-mcp --url https://mcp.sqlai.dev/mcp

Cursor

Merge this server into .cursor/mcp.json in your project, then enable sqlai-dev-sql-verifier-mcp in your MCP settings.

Cursor configuration

{
  "mcpServers": {
    "sqlai-dev-sql-verifier-mcp": {
      "url": "https://mcp.sqlai.dev/mcp"
    }
  }
}

Cline

Merge this into cline_mcp_settings.json (Cline → MCP Servers → Configure). The type must be streamableHttp for a remote HTTP server.

Cline configuration

{
  "mcpServers": {
    "sqlai-dev-sql-verifier-mcp": {
      "type": "streamableHttp",
      "url": "https://mcp.sqlai.dev/mcp",
      "disabled": false
    }
  }
}

VS Code

Merge this server into .vscode/mcp.json. Use MCP: List Servers to start sqlai-dev-sql-verifier-mcp and inspect its tools.

VS Code configuration

{
  "servers": {
    "sqlai-dev-sql-verifier-mcp": {
      "type": "http",
      "url": "https://mcp.sqlai.dev/mcp"
    }
  }
}

Gemini CLI

Run this once. It writes .gemini/settings.json in the current project; pass --scope user for ~/.gemini/settings.json.

Gemini CLI configuration

gemini mcp add --transport http sqlai-dev-sql-verifier-mcp https://mcp.sqlai.dev/mcp

Claude Desktop

Merge this into claude_desktop_config.json (macOS: ~/Library/Application Support/Claude/, Windows: %APPDATA%\Claude\), then restart Claude Desktop.

Claude Desktop configuration

{
  "mcpServers": {
    "sqlai-dev-sql-verifier-mcp": {
      "url": "https://mcp.sqlai.dev/mcp"
    }
  }
}

Windsurf

Merge this into ~/.codeium/windsurf/mcp_config.json, then refresh MCP in Cascade. Windsurf remote servers use serverUrl, not url.

Windsurf configuration

{
  "mcpServers": {
    "sqlai-dev-sql-verifier-mcp": {
      "serverUrl": "https://mcp.sqlai.dev/mcp"
    }
  }
}

See all 957

Do you run sqlai.dev SQL Verifier MCP?

Prove ownership with a DNS record, a well-known file, or your Official MCP Registry entry, and your edits publish immediately. Proofs are re-checked weekly; admins can still hide or remove a listing.

Claim this listing