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

Est-ce que io.github.JadeSparrow/sqlai-dev-sql-verifier est sûr ?

Au dernier audit MCP Hub, le serveur MCP « io.github.JadeSparrow/sqlai-dev-sql-verifier » est classé « Non encore testé ». Référencé dans l'annuaire. Seul le pentest comportemental fait foi, et il n'a pas encore été exécuté sur ce serveur. Le verdict est réévalué en continu ; consultez la fiche pour l'état à jour.

Méthode : MCP Hub analyse la description de chaque outil (couche 1) et, pour le verdict fort, exécute le serveur dans une micro-VM isolée avec leurres et réseau bloqué (couche 2). On publie des noms et des compteurs, jamais le contenu brut renvoyé par un outil.

Les 5 outils

• diff_results≈ 300 tokens

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

  Paramètres, retour & exemple (5)

  Paramètres

  • seed · object · optionnel
    Optional seed rows: {"table_name": [{"col": value, ...}, ...]}. Max 10MB total.
  • engine · string · optionnel · sqlite | duckdb
    Engine. Server-side supports 'sqlite' (default). 'duckdb' runs in the browser demo at sqlai.dev only.
  • schema · string · requis
    DDL statements.
  • query_a · string · requis
    Original query.
  • query_b · string · requis
    Refactored/alternative query.

  Exemple d'appel

  {"name": "diff_results", "arguments": {"schema": "texte", "query_a": "texte", "query_b": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• explain_plan≈ 216 tokens

  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.

  Paramètres, retour & exemple (3)

  Paramètres

  • query · string · requis
    ONE SQL statement to explain.
  • engine · string · optionnel · sqlite | duckdb
    Engine. Server-side supports 'sqlite' (default). 'duckdb' runs in the browser demo at sqlai.dev only.
  • schema · string · requis
    DDL statements (include your indexes!).

  Exemple d'appel

  {"name": "explain_plan", "arguments": {"query": "texte", "schema": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• run_sql≈ 336 tokens

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

  Paramètres, retour & exemple (4)

  Paramètres

  • seed · object · optionnel
    Optional seed rows: {"table_name": [{"col": value, ...}, ...]}. Max 10MB total.
  • query · string · requis
    ONE SQL statement to execute. Stacked statements are rejected.
  • engine · string · optionnel · sqlite | duckdb
    Engine. Server-side supports 'sqlite' (default). 'duckdb' runs in the browser demo at sqlai.dev only.
  • schema · string · requis
    DDL statements (CREATE TABLE ...; multiple statements allowed).

  Exemple d'appel

  {"name": "run_sql", "arguments": {"query": "texte", "schema": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• run_sql_batch≈ 270 tokens

  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.

  Paramètres, retour & exemple (4)

  Paramètres

  • seed · object · optionnel
    Optional seed rows: {"table_name": [{"col": value, ...}, ...]}. Max 10MB total.
  • engine · string · optionnel · sqlite | duckdb
    Engine. Server-side supports 'sqlite' (default). 'duckdb' runs in the browser demo at sqlai.dev only.
  • schema · string · requis
    DDL statements.
  • queries · array · requis
    Up to 10 statements, one per entry.

  Exemple d'appel

  {"name": "run_sql_batch", "arguments": {"schema": "texte", "queries": []}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• validate_sql≈ 236 tokens

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

  Paramètres, retour & exemple (3)

  Paramètres

  • query · string · requis
    ONE SQL statement to validate.
  • engine · string · optionnel · sqlite | duckdb
    Engine. Server-side supports 'sqlite' (default). 'duckdb' runs in the browser demo at sqlai.dev only.
  • schema · string · requis
    DDL statements.

  Exemple d'appel

  {"name": "validate_sql", "arguments": {"query": "texte", "schema": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

C'est votre serveur ?

Revendiquez-le sur l'espace créateur (preuve GitHub, domaine ou npm) pour afficher le badge « propriétaire vérifié » et lancer un pentest comportemental à la demande afin d'obtenir le badge « Vérifié ».

Créer un compte / revendiquer →

Source

https://mcp.sqlai.dev/mcp