Sponsored by Deepsite.site

Sqlai.dev Sql Verifier

创建者
JadeSparrowa month ago
Gives AI agents ground truth on SQL: submit a schema, query, and optional seed rows; the server executes in a fresh ephemeral in-memory SQLite sandbox and returns real rows, typed errors (unknown_column, syntax, type_mismatch, ...) with positions and did-you-mean suggestions, query plans with full-scan warnings, and result-set diffs for refactor checks. Dialect notes flag SQLite/Postgres/MySQL/DuckDB differences. 20 free calls/day, then x402 per-call micropayments (USDC on Base). No accounts, no API keys, no LLM anywhere, nothing stored. Free browser demo at https://sqlai.dev
内容

Don't trust the SQL. Run it.

Every LLM can write SQL. None of them can know it's correct. Paste a schema and a query — this page spins up a real in-memory database in your browser and executes it. Real error messages, real results, zero guessing. Nothing leaves your machine.

<div class="panes">
  <div class="pane">
    <label for="schema">schema (DDL)</label>
    <textarea id="schema" spellcheck="false" autocomplete="off"></textarea>
  </div>
  <div class="pane">
    <label for="seed">seed rows <span class="muted">(optional JSON)</span></label>
    <textarea id="seed" spellcheck="false" autocomplete="off"></textarea>
  </div>
  <div class="pane pane-query">
    <label for="query">query</label>
    <textarea id="query" spellcheck="false" autocomplete="off"></textarea>
    <div id="query-b-wrap" hidden>
      <label for="query-b">query B <span class="muted">(diff compares result sets)</span></label>
      <textarea id="query-b" spellcheck="false" autocomplete="off"></textarea>
    </div>
  </div>
</div>

<div class="results" id="out" aria-live="polite">
  <p class="hint">press <kbd>RUN</kbd> (or Ctrl+Enter) — the preloaded query has a bug an LLM would happily ship</p>
</div>
<p class="api-link"><a href="/docs/">API: verify programmatically →</a></p>

// for AI agents

The same engine runs as a paid MCP server. Your agent writes SQL; sqlai.dev executes it in an ephemeral sandbox and returns ground truth — rows, typed errors with positions and suggestions, query plans, or a result-set diff. Per-call payment over x402, no account, no API key. 20 calls/day free so agents can try before their operators approve spend.

<div class="table-wrap">
  <table class="price-table">
    <thead><tr><th>tool</th><th>what it returns</th><th>price</th></tr></thead>
    <tbody>
      <tr><td><code>run_sql</code></td><td>rows (≤500), columns+types, row_count, dialect notes</td><td>$0.005</td></tr>
      <tr><td><code>validate_sql</code></td><td>ok / typed error with position + suggestion, referenced tables</td><td>$0.003</td></tr>
      <tr><td><code>explain_plan</code></td><td>engine-native query plan, full-scan warnings</td><td>$0.003</td></tr>
      <tr><td><code>run_sql_batch</code></td><td>up to 10 isolated run_sql results</td><td>$0.02</td></tr>
      <tr><td><code>diff_results</code></td><td>are two queries' result sets equal? row-level diff</td><td>$0.008</td></tr>
    </tbody>
  </table>
</div>

<p>Add it to your agent:</p>
<pre class="snippet"><code>{

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

Server-side engine is SQLite (same WASM build as this page). DuckDB verification is browser-only for now — Worker size limits, documented honestly in the docs.

sqlai.dev executes every query in a fresh in-memory WASM sandbox, destroyed after the call. Submitted schemas and queries are never stored. · docs · llms.txt · contact

服务器配置

{
  "mcpServers": {
    "sql-verifier": {
      "type": "http",
      "url": "https://mcp.sqlai.dev/mcp"
    }
  }
}
推荐的 MCP Server
TraeBuild with Free GPT-4.1 & Claude 3.7. Fully MCP-Ready.
ChatWiseThe second fastest AI chatbot™
EdgeOne Pages MCPAn MCP service designed for deploying HTML content to EdgeOne Pages and obtaining an accessible public URL.
MCP AdvisorMCP Advisor & Installation - Use the right MCP server for your needs
Howtocook Mcp基于Anduin2017 / HowToCook (程序员在家做饭指南)的mcp server,帮你推荐菜谱、规划膳食,解决“今天吃什么“的世纪难题; Based on Anduin2017/HowToCook (Programmer's Guide to Cooking at Home), MCP Server helps you recommend recipes, plan meals, and solve the century old problem of "what to eat today"
AiimagemultistyleA Model Context Protocol (MCP) server for image generation and manipulation using fal.ai's Stable Diffusion model.
CursorThe AI Code Editor
Y GuiA web-based graphical interface for AI chat interactions with support for multiple AI models and MCP (Model Context Protocol) servers.
Zhipu Web SearchZhipu Web Search MCP Server is a search engine specifically designed for large models. It integrates four search engines, allowing users to flexibly compare and switch between them. Building upon the web crawling and ranking capabilities of traditional search engines, it enhances intent recognition capabilities, returning results more suitable for large model processing (such as webpage titles, URLs, summaries, site names, site icons, etc.). This helps AI applications achieve "dynamic knowledge acquisition" and "precise scenario adaptation" capabilities.
MiniMax MCPOfficial MiniMax Model Context Protocol (MCP) server that enables interaction with powerful Text to Speech, image generation and video generation APIs.
Jina AI MCP ToolsA Model Context Protocol (MCP) server that integrates with Jina AI Search Foundation APIs.
Serper MCP ServerA Serper MCP Server
DeepChatYour AI Partner on Desktop
Visual Studio Code - Open Source ("Code - OSS")Visual Studio Code
BlenderBlenderMCP connects Blender to Claude AI through the Model Context Protocol (MCP), allowing Claude to directly interact with and control Blender. This integration enables prompt assisted 3D modeling, scene creation, and manipulation.
Playwright McpPlaywright MCP server
Baidu Map百度地图核心API现已全面兼容MCP协议,是国内首家兼容MCP协议的地图服务商。
RedisA Model Context Protocol server that provides access to Redis databases. This server enables LLMs to interact with Redis key-value stores through a set of standardized tools.
Tavily Mcp
WindsurfThe new purpose-built IDE to harness magic
Amap Maps高德地图官方 MCP Server