MCP server

sqlai.dev SQL Verifier

io.github.JadeSparrow/sqlai-dev-sql-verifier

Checked 25 Oct 2026, 20:29 UTC · Connected to it and listed its tools

Executes SQL in a real ephemeral database: rows, typed errors with suggestions, plans, diffs.

Website

At a glance

Type

MCP server

Publisher

Not verified

Status

Working at last check

Tools

5

Token cost

About 1,496 tokens per request

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

25 Oct 2026, 20:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

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

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.sqlai-dev-sql-verifier]
url = "https://mcp.sqlai.dev/mcp"

Gemini CLI

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

Cursor

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

VS Code

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

Antigravity

agy mcp add sqlai-dev-sql-verifier https://mcp.sqlai.dev/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"sqlai-dev-sql-verifier","server_url":"https://mcp.sqlai.dev/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"sqlai-dev-sql-verifier","server_url":"https://mcp.sqlai.dev/mcp"}

Tools

• diff_results ~329 tokens
  Answer "do these two queries return the same thing?" — the self-check for query refactors. Executes query_a and query_b against identical fresh databases and compares result multisets (order-insensitive; order divergence reported separately when ORDER BY is present). Returns equal:boolean, row count
• explain_plan ~238 tokens
  Return the engine-native query plan for a query (SQLite: EXPLAIN QUERY PLAN) plus full-table-scan warnings. Use it to check whether an index would be used before recommending one. Example: "SELECT * FROM orders WHERE status=?" on an unindexed column → plan ["SCAN orders"], warning about the full sca
• run_sql ~372 tokens
  Execute a SQL query against a fresh ephemeral in-memory database built from your schema (and optional seed rows). Returns real rows (max 500, truncation flagged), column names+types, row_count, and dialect notes. Errors come back as structured JSON with type/position/suggestion — a failed query is a
• run_sql_batch ~295 tokens
  Run up to 10 queries against the same schema+seed. Each query executes in its OWN fresh database — writes in one query are NOT visible to the next (use this for testing variants, not for multi-statement transactions). Returns an array of run_sql results in order.
• validate_sql ~262 tokens
  Validate a SQL query against a schema WITHOUT executing it (parse + name/type binding via EXPLAIN). Returns ok with referenced tables, or a structured error: {type: unknown_column|unknown_table|syntax|..., message, position, suggestion}. The suggestion is rule-based (edit distance against your schem

Browse

• GitHub tools
• GitHub and code hosting
• Databases

Related MCP servers

• MorseByte x402 Edge Data Refinery & Quant Gateway
  Web data refinery, link verifier, AI JSON extractor, and quant regime classifier via HTTP 402.
• TestMu AI (formerly LambdaTest)
  Agentic AI quality engineering: run, debug and triage tests on real browsers and devices
• 2ools
  Build, version, review, and export websites, web apps, and games from a conversation.
• SolKnife
  Non-custodial Solana toolkit: rug-checks, swaps, portfolios, token minting, multisig, Arweave.
• WhiteMagic — governed local memory for agent continuity
  Governed local-first memory and continuity for AI agents — signed receipts, optional hosted lane.
• GrowthKit Revenue Intelligence
  Sales intelligence for B2B SMEs — lead scoring, ICP fit, CRM enrichment & writeback.
• Vulners
  MCP server for the Vulners.com API
• Country Calling Codes
  Calling codes, phone analysis, dialing guidance, batch normalization and calling windows.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.JadeSparrow/sqlai-dev-sql-verifier.svg)](https://aptlynx.net/servers/io.github.JadeSparrow/sqlai-dev-sql-verifier)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents