SQAI — deterministic, read-only structured data

SQAI — 構造化クエリ AI

SQAI は、ガバナンスの効いた実行と再現可能な来歴を備えた、AI エージェント向けの決定論的な読み取り専用構造化データツールです。

Apache-2.0 · TypeScript + Python · 基盤となる基盤として Algenta を採用 · Thyn の製品

モデルが意味を提案します。SQAI が実行を制御します。型付きの意図を受け取り、ポリシーで検証された決定論的な実行を行い、完全な来歴とともに再現可能な結果を返します。生の SQL も、eval も、書き込み経路もありません。

アーキテクチャ

レイヤー	パッケージ	内容
AI SDK ツール	@thyn-ai/sqai-ai-sdk (npm)	Vercel AI SDK 7 の 3 つのツール — listSources、queryData、explainQuery
製品 SDK	@thyn-ai/sqai (npm)	SQAI クエリプレーン + 完全な計算プレーン
製品 SDK	sqai (PyPI)	同じ SQAI サーフェス、1 対 1 の用語体系
CLI	@thyn-ai/sqai-cli (npm, bin sqai)	sqai doctor --parity、sqai runtime install/verify/status/stop
機能コントラクト	埋め込み SQAI コントラクト	SQAI が公開するすべての機能を列挙した、生成済みのハッシュ固定インベントリ
実行基盤	Algenta（完全固定）	基盤となる決定論的な実行基盤と、管理された署名付きランタイムバンドル

クイックスタート（AI SDK）

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?",
});

サーバーは不要です。クエリプレーンにデーモンは不要です。計算プレーンは、初回使用時に署名付きの管理ランタイムを透過的にプロビジョニングします。

MCP サーバー

同じ 4 つのガバナンス対象ツールを、stdio サーバーとして任意の MCP ホスト（Claude Desktop、 Cursor、…）で使用できます。説明、Zod スキーマ、実行関数は AI-SDK ツールオブジェクトから直接読み取られ、 分岐したものは一切ありません。

npx @thyn-ai/sqai-mcp

{
  "mcpServers": {
    "sqai": {
      "command": "npx",
      "args": ["-y", "@thyn-ai/sqai-mcp"],
      "env": {
        "SQAI_SOURCES": "[{\"data\": \"./data/sales.csv\", \"name\": \"sales\"}]"
      }
    }
  }
}

イントロスペクション（initialize / tools/list）に認証情報は不要です。環境変数が何も設定されていない状態も有効な構成です。4 つのツールのいずれかを実行するには、無料のコミュニティログイン（sqai login を一度実行してデバイスを登録するか、SQAI_API_KEY）が必要です。その後は完全にオフラインで使用できます。認証情報がない場合、すべての tools/call は構造化された login_required エラーを返します。SQAI_DEPLOYMENT_URL は @thyn-ai/sqai と同じ通常のセマンティクスを維持します。

ツール	内容
listSources	検出：正確なフィールド名、型、許可された操作を含むソース、計算カタログ検索、モジュールごとのシグネチャ。
queryData	決定論的な読み取り専用クエリまたは計算を 1 つ実行します。切り詰められた結果も result_id を使って取得できます。
explainQuery	ドライラン：解決済みプラン、plan_hash、検証結果、またはプレビュー用の invocation_hash を含む計算シグネチャチェック。

3 つすべてに readOnlyHint: true、destructiveHint: false、 idempotentHint: true、openWorldHint: false が注釈されています。3 つすべてが共通の単一ライセンスゲートの下で実行されます。デバイスを一度登録すれば（sqai login）、1 台のマシンで無料で利用できます。ライセンス認証で移動するのは署名付きトークンであり、データではありません。認証情報がない場合は、ローカル CSV の読み込みも含め、すべてのツール呼び出しが設計上、構造化された login_required エラーを返します。

現在利用できる機能

• クエリプレーン（接続／解決／クエリ／検証／質問）— 両言語でプロセス内実行
• 機能コントラクトの検証を通した完全な SQAI 計算プレーン
• ポリシー許可リスト（ソース、フィールド、関数）。モデルから変更することはできません
• 言語間の適合性：値、plan_hash、intent_signature が一致
• 不透明な結果ハンドルを使った、モデルコンテキスト向けの切り詰め

リポジトリ構成

contracts/        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)

主なドキュメント

ドキュメント	目的
docs/quickstart-ts.md	TypeScript クイックスタート
docs/quickstart-python.md	Python クイックスタート
docs/ai-sdk-tools.md	ツールスキーマと切り詰めのコントラクト
docs/determinism.md	ハッシュ、エンベロープ、「宣言された実行スコープ内での決定性」
docs/licensing.md	無料の開発者向けプラン、利用資格、ランタイムバンドルの信頼性
SECURITY.md	セキュリティポリシー