Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
作者による説明(英語の原文)
SQAI MCP server — four governed, deterministic, read-only data tools. Free login to execute.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
SQAI_API_KEY, SQAI_DEPLOYMENT_URL, SQAI_SOURCES「秘密」と表示された値は、あなたのアカウントの鍵です。絶対に人に教えたり、チャットに貼り付けたりしないでください。
必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます
{
"mcpServers": {
"sqai": {
"command": "npx",
"args": [
"-y",
"@thyn-ai/sqai-mcp"
],
"env": {
"SQAI_API_KEY": "your-value",
"SQAI_DEPLOYMENT_URL": "your-value",
"SQAI_SOURCES": "your-value"
}
}
}
}ターミナルでこれを実行します
claude mcp add sqai --env SQAI_API_KEY=your-value --env SQAI_DEPLOYMENT_URL=your-value --env SQAI_SOURCES=your-value -- npx -y @thyn-ai/sqai-mcp動かす前に、空欄の値を入力してください。
プロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"sqai": {
"command": "npx",
"args": [
"-y",
"@thyn-ai/sqai-mcp"
],
"env": {
"SQAI_API_KEY": "your-value",
"SQAI_DEPLOYMENT_URL": "your-value",
"SQAI_SOURCES": "your-value"
}
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"sqai": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@thyn-ai/sqai-mcp"
],
"env": {
"SQAI_API_KEY": "your-value",
"SQAI_DEPLOYMENT_URL": "your-value",
"SQAI_SOURCES": "your-value"
}
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
SQAI_DEPLOYMENT_URL envSQAI_SOURCES envこの設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月7日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント thyn-ai で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
これはパソコンで動くため、インターネット上のエンドポイントはありません
パソコンで動き、代わりにローカルの設定を使います
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
入力が必要なもの:SQAI_API_KEY
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。
GitHubリポジトリの最終更新は–、最新バージョン(0.1.20)がレジストリに届いたのは43 日前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにNode.jsも必要です。
同じカテゴリには:Spec Driven Development, Remote Desktop Commander, Kanal Varna — drains, leaks & plumbing (Varna, BG)
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ GitHubスターi3つの柱:レビュー · チェック · 利用状況i更新=最新バージョンをレジストリに公開した日i
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Drain unblocking, leak detection & plumbing in Varna, Bulgaria: services, prices, areas, contact
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
SQAI is the deterministic, read-only structured-data tool for AI agents, with governed execution and replayable provenance.
Apache-2.0 · TypeScript + Python · built on Algenta as the underlying substrate · a Thyn product
The model proposes meaning. SQAI controls execution: typed intent in, policy-checked deterministic execution, replayable results with full provenance out. No raw SQL, no eval, no write path.
| Layer | Package | What it is |
|---|---|---|
| AI SDK tools | @thyn-ai/sqai-ai-sdk (npm) | Three Vercel AI SDK 7 tools — listSources, queryData, explainQuery |
| Product SDK | @thyn-ai/sqai (npm) | SQAI query plane + full computation plane |
| Product SDK | sqai (PyPI) | Same SQAI surface, 1:1 vocabulary |
| CLI | @thyn-ai/sqai-cli (npm, bin sqai) | sqai doctor --parity, sqai runtime install/verify/status/stop |
| Capability contract | Embedded SQAI contract | The generated, hash-pinned inventory of every capability SQAI exposes |
| Execution substrate | Algenta (exact-pinned) | Underlying deterministic execution substrate and managed signed runtime bundle |
import { generateText } from "ai";
import { createSQAI } from "@thyn-ai/sqai-ai-sdk";
const sqai = createSQAI({ sources: [{ data: "./data/sales.csv", name: "sales" }] });
const { text } = await generateText({ model: "openai/gpt-5-mini", tools: sqai.tools(), prompt: "Which region had the highest total revenue?", });
No server. No daemon for the query plane. The computation plane provisions a signed managed runtime transparently on first use.
The same four governed tools are available to any MCP host (Claude Desktop, Cursor, …) as a stdio server — descriptions, Zod schemas, and execute functions are read straight off the AI-SDK tool objects, never forked:
npx @thyn-ai/sqai-mcp
{
"mcpServers": { "sqai": { "command": "npx", "args": ["-y", "@thyn-ai/sqai-mcp"], "env": { "SQAI_SOURCES": "[{\"data\": \"./data/sales.csv\", \"name\": \"sales\"}]" } } } }
Introspection (initialize / tools/list) needs no credentials — zero environment is a valid configuration. Executing any of the four tools requires a free community login (sqai login once / device registration, or SQAI_API_KEY) — fully offline thereafter; without it every tools/call returns a structured login_required error. SQAI_DEPLOYMENT_URL keeps its usual semantics from @thyn-ai/sqai.
| Tool | What it does |
|---|---|
listSources | Discovery: sources with exact field names, types, and allowed operations; computation-catalog search; per-module signatures. |
queryData | One deterministic, read-only query or computation; truncated results stay retrievable via result_id. |
explainQuery | Dry-run: resolved plan, plan_hash, validation — or a computation-signature check with a preview invocation_hash. |
All three are annotated readOnlyHint: true, destructiveHint: false, idempotentHint: true, openWorldHint: false. All three execute under the one uniform license gate: free on 1 machine with a one-time device registration (sqai login) — licensing moves a signed token, never your data; without it, every tool call — local CSV reads included — returns a structured login_required error by design.
plan_hash, intent_signaturecontracts/ generated capability contract + tested version pair
packages/sdk/ @thyn-ai/sqai (TypeScript product SDK) packages/ai-sdk/ @thyn-ai/sqai-ai-sdk (Vercel AI SDK tools) packages/cli/ sqai CLI (doctor, runtime verbs) packages/mcp/ @thyn-ai/sqai-mcp (MCP stdio server) packages/python-sdk/ sqai (PyPI) examples/ runnable examples (AI SDK registry example) scripts/ contract sync + parity gate docs/ GitBook (docs.sqai.com)
| Doc | Purpose |
|---|---|
| docs/quickstart-ts.md | TypeScript quickstart |
| docs/quickstart-python.md | Python quickstart |
| docs/ai-sdk-tools.md | Tool schemas and truncation contract |
| docs/determinism.md | Hashes, envelopes, "deterministic within the declared execution scope" |
| docs/licensing.md | Free developer tier, entitlements, runtime bundle trust |
| SECURITY.md | Security policy |