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。

  • 授權條款不適用

    託管服務按其提供方的條款使用,因此這裡不要求授權條款。此檢查項不計入百分比。