MCPサーバー

sqlai.dev SQL Verifier

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

開発者向けツール公開・接続可能 MCP 2025-11-25

このMCPでできること

Validates and executes SQL against ephemeral databases, compares query results, and returns query plans and structured errors.

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 counts, and capped row-level diffs (only_in_a / only_in_b).

入力スキーマ

{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['schema', 'query_a', 'query_b'], 'properties': {'seed': {'type': 'object', 'description': 'Optional seed rows: {"table_name": [{"col": value, ...}, ...]}. Max 10MB total.', 'additionalProperties': {'type': 'array', 'items': {'type': 'object', 'additionalProperties': {}}}}, 'engine': {'enum': ['sqlite', 'duckdb'], 'type': 'string', 'description': "Engine. Server-side supports 'sqlite' (default). 'duckdb' runs in the browser demo at sqlai.dev only."}, 'schema': {'type': 'string', 'description': 'DDL statements.'}, 'query_a': {'type': 'string', 'description': 'Original query.'}, 'query_b': {'type': 'string', 'description': 'Refactored/alternative query.'}}, 'additionalProperties': False}

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 scan.

入力スキーマ

{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['schema', 'query'], 'properties': {'query': {'type': 'string', 'description': 'ONE SQL statement to explain.'}, 'engine': {'enum': ['sqlite', 'duckdb'], 'type': 'string', 'description': "Engine. Server-side supports 'sqlite' (default). 'duckdb' runs in the browser demo at sqlai.dev only."}, 'schema': {'type': 'string', 'description': 'DDL statements (include your indexes!).'}}, 'additionalProperties': False}

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 useful answer, not a failure of this tool. Example: schema "CREATE TABLE t(id INTEGER, name TEXT);", query "SELECT name FROM t WHERE id=1", seed {"t":[{"id":1,"name":"ada"}]} → rows [["ada"]].

入力スキーマ

{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['schema', 'query'], 'properties': {'seed': {'type': 'object', 'description': 'Optional seed rows: {"table_name": [{"col": value, ...}, ...]}. Max 10MB total.', 'additionalProperties': {'type': 'array', 'items': {'type': 'object', 'additionalProperties': {}}}}, 'query': {'type': 'string', 'description': 'ONE SQL statement to execute. Stacked statements are rejected.'}, 'engine': {'enum': ['sqlite', 'duckdb'], 'type': 'string', 'description': "Engine. Server-side supports 'sqlite' (default). 'duckdb' runs in the browser demo at sqlai.dev only."}, 'schema': {'type': 'string', 'description': 'DDL statements (CREATE TABLE ...; multiple statements allowed).'}}, 'additionalProperties': False}

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.

入力スキーマ

{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['schema', 'queries'], 'properties': {'seed': {'type': 'object', 'description': 'Optional seed rows: {"table_name": [{"col": value, ...}, ...]}. Max 10MB total.', 'additionalProperties': {'type': 'array', 'items': {'type': 'object', 'additionalProperties': {}}}}, 'engine': {'enum': ['sqlite', 'duckdb'], 'type': 'string', 'description': "Engine. Server-side supports 'sqlite' (default). 'duckdb' runs in the browser demo at sqlai.dev only."}, 'schema': {'type': 'string', 'description': 'DDL statements.'}, 'queries': {'type': 'array', 'items': {'type': 'string'}, 'maxItems': 10, 'description': 'Up to 10 statements, one per entry.'}}, 'additionalProperties': False}

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 schema). Example: query "SELECT nmae FROM users" → error type unknown_column, suggestion 'did you mean "name"?'.

入力スキーマ

{'type': 'object', '$schema': 'http://json-schema.org/draft-07/schema#', 'required': ['schema', 'query'], 'properties': {'query': {'type': 'string', 'description': 'ONE SQL statement to validate.'}, 'engine': {'enum': ['sqlite', 'duckdb'], 'type': 'string', 'description': "Engine. Server-side supports 'sqlite' (default). 'duckdb' runs in the browser demo at sqlai.dev only."}, 'schema': {'type': 'string', 'description': 'DDL statements.'}}, 'additionalProperties': False}

追加

                            diff_results
                        

2026年9月17日12:42

追加

                            run_sql_batch
                        

2026年9月17日12:42

追加

                            explain_plan
                        

2026年9月17日12:42

追加

                            validate_sql
                        

2026年9月17日12:42

追加

                            run_sql
                        

2026年9月17日12:42

サーバー情報

バージョン

1.0.0

通信方式

Streamable HTTP

ツール

レイテンシ

406 ms

最終スキャン

2026年10月1日2:45

初回確認

2026年9月13日2:15

エンドポイント

https://mcp.sqlai.dev/mcp

sqlai.dev SQL Verifier

このMCPでできること

ツール

最近のツール変更

類似のMCPサーバー

TinyFn

hyperion

Andreax

Vee3

Courier

GripForge

IA-QA — 130+ QA & Dev Tools for AI Agents

apis-io