Connect sqlai.dev SQL Verifier and your agent gets 5 tools, among them diff_results, explain_plan, run_sql. It answers at https://mcp.sqlai.dev/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 10 of 10 times since 5 September 2026; the last check, on 18 October 2026, succeeded.
Executes SQL in a real ephemeral database: rows, typed errors with suggestions, plans, diffs.
Description as the publisher wrote it.
| Tool | What it does |
|---|---|
diff_results | 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 Inputs: schema, seed, query_a, query_b, engine |
explain_plan | 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 unindex Inputs: schema, query, engine |
run_sql | 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 structu Inputs: schema, query, seed, engine |
run_sql_batch | 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 ru Inputs: schema, queries, seed, engine |
validate_sql | 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}. Th Inputs: schema, query, engine |
Every block below points at https://mcp.sqlai.dev/mcp. Pick your client and copy.
claude mcp add --transport http sqlai-dev-sql-verifier https://mcp.sqlai.dev/mcp
{
"mcpServers": {
"sqlai-dev-sql-verifier": {
"command": "npx",
"args": ["-y", "mcp-remote", "https://mcp.sqlai.dev/mcp"]
}
}
}{
"mcpServers": {
"sqlai-dev-sql-verifier": {
"url": "https://mcp.sqlai.dev/mcp"
}
}
}{
"servers": {
"sqlai-dev-sql-verifier": {
"type": "http",
"url": "https://mcp.sqlai.dev/mcp"
}
}
}{
"context_servers": {
"sqlai-dev-sql-verifier": {
"url": "https://mcp.sqlai.dev/mcp"
}
}
}{
"mcpServers": {
"sqlai-dev-sql-verifier": {
"serverUrl": "https://mcp.sqlai.dev/mcp"
}
}
}{
"mcpServers": {
"sqlai-dev-sql-verifier": {
"url": "https://mcp.sqlai.dev/mcp"
}
}
}name: sqlai.dev SQL Verifier
version: 0.0.1
schema: v1
mcpServers:
- name: sqlai.dev SQL Verifier
type: streamable-http
url: https://mcp.sqlai.dev/mcp{
"mcpServers": {
"sqlai-dev-sql-verifier": {
"httpUrl": "https://mcp.sqlai.dev/mcp"
}
}
}{
"mcpServers": {
"sqlai-dev-sql-verifier": {
"type": "http",
"url": "https://mcp.sqlai.dev/mcp"
}
}
}{
"mcpServers": {
"sqlai-dev-sql-verifier": {
"url": "https://mcp.sqlai.dev/mcp"
}
}
}goose://extension?url=https%3A%2F%2Fmcp.sqlai.dev%2Fmcp&type=streamable_http&id=sqlai-dev-sql-verifier&name=sqlai.dev%20SQL%20Verifier
It answered our last check on 18 October 2026 in 230 ms. Over 10 checks since 5 September 2026 it answered 10. Status here comes from Neuronto's own probes, not from the publisher.
5, as returned by the server's own tools/list on 31 August 2026: diff_results, explain_plan, run_sql, run_sql_batch, validate_sql.
It answered our last check on 18 October 2026 in 230 ms. Over 10 checks since 5 September 2026 it answered 10.
Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://mcp.sqlai.dev/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.
It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.
Publisher: io.github.jadesparrow. Endpoint host: mcp.sqlai.dev. ARD identifier: urn:air:io.github.jadesparrow:mcp:sqlai-dev-sql-verifier.
First indexed 31 August 2026. The tools are exactly what the server returned; nothing on this page
is inferred from its name. Ranking in Neuronto search is never for sale.