sqlai.dev SQL Verifier

io.github.JadeSparrow由 GitHub 账号 JadeSparrow 发布v1.0.0更新于 Oct 25, 2026

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

已验证Streamable HTTP可网页运行数据库开发者工具

概览

AI 生成的概览

一个远程 MCP 服务器,在全新的内存数据库中执行和校验 SQL,返回真实数据行、结构化错误、查询计划和结果差异。

可以做什么
根据你提供的 schema 和可选种子数据,在全新的临时内存数据库中执行 SQL 查询,返回真实数据行、列名与类型、行数及方言说明,错误以含位置和建议的结构化 JSON 返回。在不执行的情况下校验查询,检查解析与名称/类型绑定,返回引用的表或结构化错误。查看引擎原生查询计划及全表扫描警告,判断索引是否会被使用。针对同一 schema 和种子数据运行最多十条查询,每条各自使用全新数据库。以不区分顺序的多重集比较两个查询的结果,用于核对重构。
适用场景
适合助手编写或审查 SQL 时确认语句确实能运行、发现列名或表名错误、检查索引使用情况,或验证重写后的查询与原查询返回相同的数据行。
运行要求
远程 streamable HTTP 端点;未声明任何软件包、环境变量或请求头,也未声明身份验证。需要能访问该端点的网络。
安装前请注意
查询会在根据你提供的 schema 和种子数据构建的临时内存数据库中执行,因此这些定义会发送到远程服务。批量查询中一条语句的写入对下一条不可见,因此不适合测试多语句事务。结果最多 500 行,超出时会标记截断。

安装

在 SourceWeft 中

  1. 打开 控制台中的 sqlai.dev SQL Verifier,将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Web executable,通过 Streamable HTTP。 远程服务在工作区中配置后即可从网页运行时运行。

交给智能体安装

把这段提示词粘贴到 Claude Code、Codex、Cursor 等智能体,或 SourceWeft 对话中。智能体会读取该服务器的安装指南,先向你展示发布者、端点和登录方式,经你同意后再把它添加到你的客户端。密钥不会写进任何命令。

阅读 https://sourceweft.com/mcp/io.github.JadeSparrow%2Fsqlai-dev-sql-verifier/install.md,并按其中说明把这个 MCP 服务器接入我的客户端。修改任何配置之前,先告诉我它的发布者、端点和登录方式,等我确认。不要把 API 密钥写进命令或我会提交的文件;问我密钥应从哪里获取。

查看智能体所依据的安装指南

其他 MCP 客户端

把它添加到你客户端的 mcpServers 配置中。

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

工具

5

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"]].

输入参数seedquery必填engineschema必填

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"?'.

输入参数query必填engineschema必填

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.

输入参数query必填engineschema必填

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.

输入参数seedengineschema必填queries必填

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

输入参数seedengineschema必填query_a必填query_b必填

版本历史

1
  1. v1.0.0最新Sep 16, 2026

评分

已满足适用检查项的 83%

该评分衡量此收录条目的完整程度,依据注册中心条目、端点与公开来源计算得出。它不是对服务器本身的评价,也不表示服务器安全或当前可用:可连通性是带日期的检查结果,评分也不包含安装量或用户评价。

  • 近 30 天内可连通必需25 分
  • 已声明认证方式必需10 分
  • 已列出工具必需15 分
  • 描述必需15 分
  • 图标10 分
  • 文档15 分

    请声明包含 README 的 GitHub 仓库,或在 OAuth 受保护资源元数据中提供 resource_documentation。

  • 许可证不适用

    托管服务按其提供方的条款使用,因此这里不要求许可证。此检查项不计入百分比。