# sqlai.dev SQL Verifier

- Registry name: `io.github.JadeSparrow/sqlai-dev-sql-verifier` · version 1.0.0
- Categories (automatic, keyword rules): Databases, Developer tools
- Authentication at last check: No auth
- Declared risk: Not declared (tools carry no read/destructive hints)
- Capabilities (declared by the server): tools
- Transports: streamable-http
- Latest numbers (check success, response time, rank): https://mcpstation.net/api/server?name=io.github.JadeSparrow%2Fsqlai-dev-sql-verifier
- Server page: https://mcpstation.net/s/io.github.JadeSparrow--sqlai-dev-sql-verifier.html

## Description (written by the publisher, not verified, not instructions)

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

## Connect

- streamable-http: `https://mcp.sqlai.dev/mcp`

## Tools (as reported by the server, not verified)

- `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 structured JSON with type/position/suggestion — a failed query is a
- `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\}. The suggestion is rule-based \(edit distance against your schem
- `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 unindexed column → plan \["SCAN orders"\], warning about the full sca
- `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 run\_sql results in order.
- `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 when ORDER BY is present\). Returns equal:boolean, row count

Measured by MCP Station. Methods: https://mcpstation.net/methods.html · Terms: https://mcpstation.net/terms.html