Supabase
MCP server for interacting with the Supabase platform
作者による説明(英語の原文)
Deterministic SQL compiler for AI agents. Your agent stops guessing SQL.
この3つを1つのスコアにまとめることはしません。意見、測定、人気はそれぞれ別のものだからです。
このサーバーのやさしい解説はまだ書いていません。以下はレジストリから読み取った事実です。
使っているAIアプリを選んで、設定をコピーしてください。
BOYCE_DB_URL, BOYCE_PROVIDER, ANTHROPIC_API_KEY必要なもの
どのアプリを使っていますか?
上でアプリを選んでください。選んだアプリを覚えておくので、次からはボタンに「…にインストール」と表示されます。
Claude Desktop → Settings → Developer → Edit Config を開き、claude_desktop_config.json にこれを貼り付けます
{
"mcpServers": {
"boyce": {
"command": "uvx",
"args": [
"boyce"
],
"env": {
"BOYCE_DB_URL": "your-value",
"BOYCE_PROVIDER": "your-value",
"ANTHROPIC_API_KEY": "your-value"
}
}
}
}ターミナルでこれを実行します
claude mcp add boyce --env BOYCE_DB_URL=your-value --env BOYCE_PROVIDER=your-value --env ANTHROPIC_API_KEY=your-value -- uvx boyce動かす前に、空欄の値を入力してください。
プロジェクトの .cursor/mcp.json、または ~/.cursor/mcp.json に貼り付けます
{
"mcpServers": {
"boyce": {
"command": "uvx",
"args": [
"boyce"
],
"env": {
"BOYCE_DB_URL": "your-value",
"BOYCE_PROVIDER": "your-value",
"ANTHROPIC_API_KEY": "your-value"
}
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
プロジェクトの .vscode/mcp.json に貼り付けます
{
"servers": {
"boyce": {
"type": "stdio",
"command": "uvx",
"args": [
"boyce"
],
"env": {
"BOYCE_DB_URL": "your-value",
"BOYCE_PROVIDER": "your-value",
"ANTHROPIC_API_KEY": "your-value"
}
}
}
}ブラウザがアプリを開いてよいか確認し、そのあとアプリが設定を表示して確認を求めます。キーの値は空欄のままなので、自分で入力してください。
これはパソコンで動くサーバーですが、ChatGPTがつなげるのはインターネット上のサーバーだけです。ほかのアプリを選んでください。
選んだアプリは、この端末のCookieに保存されます。アカウントは不要です。
BOYCE_DB_URL envBOYCE_PROVIDER envANTHROPIC_API_KEY envこの設定は、作者のレジストリ登録情報から作成しています。READMEと違う場合は、READMEに従ってください。
パソコンで動くサーバーです。インストールすると、ツール一覧がAIアプリに表示されます。
誰でも見られる情報をチェックしており、コードは読んでいません。当てはまらない項目は数に入れていません。 · 2026年11月6日にチェック
レジストリ名は、リポジトリを所有するGitHubアカウント boyce-io で確認済みです
このリポジトリはまだGitHubから読み取っていません
このリポジトリはまだGitHubから読み取っていません
これはパソコンで動くため、インターネット上のエンドポイントはありません
パソコンで動き、代わりにローカルの設定を使います
パソコンで動くサーバーです。ツール一覧を読み取れるのは、インターネット上のエンドポイントがある場合だけです
レジストリでこのカテゴリにある有効なすべてのサーバーと比較しています。スターは、公開者がリポジトリの所有者である場合だけ数えます。
当てはまる基本チェック1項目のうち1項目に合格しました。コードは読んでいません。キーやトークンを追加する前に、サーバーがどんなアクセスを求めているかを確認し、必要な権限だけを持つキーを使ってください。
レジストリには必須のキーは載っていません。ただし、最初に使うときにサインインを求めるサーバーもあります。
あなたのパソコンで動きます。必要なときにAIアプリが起動し、データは作者のサーバーを通りません(サーバー自体がオンラインサービスを呼び出す場合を除きます)。
GitHubリポジトリの最終更新は–、最新バージョン(0.1.1)がレジストリに届いたのは7 か月前です。
Claude Desktop、Claude Code、Cursor、VS CodeなどのMCP対応アプリで使えます。パソコンにPython (uv)も必要です。
同じカテゴリには:Supabase, MongoDB MCP Server, Elasticsearch MCP Server
同じカテゴリで、ほかの作者が作ったサーバー。スターの多い順。
カードの見方:★ GitHubスターi3つの柱:レビュー · チェック · 利用状況i更新=最新バージョンをレジストリに公開した日i
MCP server for interacting with the Supabase platform
MongoDB Model Context Protocol Server
MCP server for interacting with Elasticsearch
作者のリポジトリから書かれたとおりにコピーしたものです。PopNx MCPは内容を確認・推奨していません。HTML、画像、スクリプトは取り除いています。リンクはこのサイトの外へ移動します。
The semantic safety layer for agentic database workflows.
Boyce connects LLMs to live database context with built-in safety rails.
Named for Raymond F. Boyce, co-inventor of SQL (1974) and co-author of Boyce-Codd Normal Form (BCNF).
AI agents querying databases without proper context generate unreliable SQL — working from incomplete schemas, inferring column names, guessing join paths. Boyce gives agents the structured database intelligence they need to generate correct, safe SQL every time — through three interconnected systems:
| Layer | What it does |
|---|---|
| SQL Compiler | ask_boyce — NL → StructuredFilter → deterministic SQL. Zero LLM in the SQL builder. Same inputs, same SQL, byte-for-byte, every time. |
| Database Inspector | query_database / profile_data — Live Postgres/Redshift adapters let your agent see real schema and real data distributions before writing a single filter. |
| Query Verification | Pre-flight EXPLAIN loops on every generated query. Bad SQL is caught at planning time, not at 2am in your on-call rotation. |
Why does this matter? → The Null Trap: Your AI Agent's SQL Is Correct. The Answer Is Still Wrong.
Requires Python 3.10+
pip install boyce
pip install "boyce[postgres]"
# uv (recommended)
uv pip install boyce uv pip install "boyce[postgres]"
From source:
git clone https://github.com/boyce-io/boyce
uv pip install -e "boyce/"
After installing, run boyce init to configure your MCP host automatically:
boyce init
The wizard detects Claude Desktop, Cursor, Claude Code, and JetBrains (DataGrip, IntelliJ, etc.), and writes the correct config block for each.
Developing from source? The repo includes a setup script:
./quickstart.sh # detects uv or python, installs package, writes .env template
The fastest path is boyce init — it detects your MCP host and writes the config automatically:
boyce init
Or configure manually. There are two setup paths depending on your host:
If you're using Claude Desktop, Cursor, Claude Code, Codex, Cline, Windsurf, JetBrains (DataGrip, IntelliJ), or any MCP-compatible host, you do not need to configure an LLM provider for Boyce. The host's own model handles reasoning — Boyce supplies the schema context and deterministic SQL compiler via get_schema and ask_boyce. Only BOYCE_DB_URL is needed (and even that is optional).
Claude Desktop (~/Library/Application Support/Claude/claude_desktop_config.json):
{
"mcpServers": { "boyce": { "command": "boyce", "env": { "BOYCE_DB_URL": "postgresql://user:pass@host:5432/db" } } } }
Cursor (.cursor/mcp.json in project root):
{
"mcpServers": { "boyce": { "command": "boyce", "env": { "BOYCE_DB_URL": "postgresql://user:pass@host:5432/db" } } } }
If you're using the CLI (boyce ask), HTTP API, or a non-MCP client (e.g., the VS Code extension), configure Boyce's internal query planner with your LLM provider:
{
"mcpServers": { "boyce": { "command": "boyce", "env": { "BOYCE_PROVIDER": "anthropic", "BOYCE_MODEL": "claude-sonnet-4-6", "ANTHROPIC_API_KEY": "sk-ant-...", "BOYCE_DB_URL": "postgresql://user:pass@host:5432/db" } } } }
Boyce supports any LLM provider available through LiteLLM: Anthropic, OpenAI, Ollama (local), vLLM (local), Azure, Bedrock, Vertex, Mistral, and more.
BOYCE_DB_URL is optional on both paths. Without it, Boyce runs in schema-only mode — SQL generation still works; EXPLAIN pre-flight and live query tools return "status": "unchecked".
| Variable | When needed | Example | Purpose |
|---|---|---|---|
BOYCE_PROVIDER | Path 2 only (CLI/HTTP/non-MCP) | anthropic | LiteLLM provider name |
BOYCE_MODEL | Path 2 only (CLI/HTTP/non-MCP) | claude-sonnet-4-6 | Model ID passed to LiteLLM |
ANTHROPIC_API_KEY | When using Anthropic | sk-ant-... | Anthropic credentials |
OPENAI_API_KEY | When using OpenAI | sk-... | OpenAI credentials |
BOYCE_DB_URL | Optional (either path) | postgresql://user:pass@host:5432/db | asyncpg DSN — enables EXPLAIN pre-flight + live query tools |
BOYCE_HTTP_TOKEN | Path 2 HTTP API only | my-secret-token | Bearer token for boyce serve --http |
BOYCE_STATEMENT_TIMEOUT_MS | Optional | 30000 | Per-statement timeout in ms (default: 30s) |
| Tool | Description |
|---|---|
ingest_source | Parse a SemanticSnapshot from dbt manifest, dbt project, LookML, DDL, SQLite, Django, SQLAlchemy, Prisma, CSV, or Parquet. |
ingest_definition | Store a certified business definition — injected automatically at query time. |
get_schema | Return full schema context + StructuredFilter format docs. Used by MCP hosts so the host LLM can construct queries without a Boyce API key. |
ask_boyce | Full NL → SQL pipeline: query planner (LiteLLM) → deterministic kernel → NULL trap check → EXPLAIN pre-flight. |
validate_sql | Validate hand-written SQL — EXPLAIN pre-flight, Redshift lint, NULL risk — without executing. |
query_database | Execute a read-only SELECT against the live database. Write operations rejected at two independent layers. |
profile_data | Null %, distinct count, min/max for any column — surface data quality issues before they affect query results. |
check_health | Operational health check — DB connectivity, snapshot freshness, actionable fix commands. Call when queries fail unexpectedly. |
SemanticSnapshot (JSON)
│ ▼ ingest_source ┌─────────────────────────────────────────────┐ │ SemanticGraph (NetworkX) │ ← in-memory, loaded per session │ nodes = entities (tables/views/dbt models) │ │ edges = joins (weighted by confidence) │ └─────────────────────────────────────────────┘ │ │ ▼ ask_boyce ▼ (internal) QueryPlanner Dijkstra (LiteLLM) join resolver NL → StructuredFilter │ │ │ └──────────┬────────────────┘ ▼ kernel.process_request() ← ZERO LLM HERE SQLBuilder (dialect-aware) │ ▼ EXPLAIN pre-flight ← Query Verification (PostgresAdapter) │ ▼ SQL + validation result
Dialect support: redshift, postgres, duckdb, bigquery
Redshift safety rails (safety.py): Automatic linting for LATERAL, JSONB, REGEXP_COUNT, lookahead regex patterns, and numeric cast rewrites for Redshift 1.0 (PG 8.0.2).
# Scan a single file
boyce scan demo/magic_moment/manifest.json
boyce scan ./my-project/ -v
boyce scan ./my-project/ --save
10 parsers: dbt manifest, dbt project, LookML, SQLite, DDL, CSV, Parquet, Django, SQLAlchemy, Prisma.
# Unit tests — no DB required, runs in ~4 seconds
python boyce/tests/verify_eyes.py
The ingest_source tool accepts a SemanticSnapshot JSON dict. Minimal example:
{
"snapshot_id": " ", "source_system": "dbt", "entities": { "entity:orders": { "id": "entity:orders", "name": "orders", "schema": "public", "fields": ["field:orders:order_id", "field:orders:revenue"] } }, "fields": { "field:orders:order_id": { "id": "field:orders:order_id", "entity_id": "entity:orders", "name": "order_id", "field_type": "ID", "data_type": "INTEGER" } }, "joins": [] }
See boyce/tests/live_fire/mock_snapshot.json for a complete field/entity example.
boyce/ ← PRIMARY — headless FastMCP server + pip package
├── boyce/ │ ├── server.py ← MCP entry point (8 tools) │ ├── kernel.py ← Deterministic SQL kernel │ ├── graph.py ← SemanticGraph (NetworkX) │ ├── safety.py ← Redshift compatibility rails │ ├── types.py ← Protocol contract (Pydantic) │ ├── scan.py ← Scan CLI (boyce scan) │ ├── connections.py ← DSN persistence (ConnectionStore) │ ├── doctor.py ← Environment diagnostics (boyce doctor) │ ├── sql/ ← SQLBuilder, dialect layer, join resolver │ ├── parsers/ ← 10 parsers (dbt, lookml, ddl, sqlite, csv, etc.) │ ├── planner/ ← QueryPlanner (LiteLLM → StructuredFilter) │ └── adapters/ ← PostgresAdapter (Eyes) └── tests/ ├── verify_eyes.py ← 15-test suite, no DB required ├── test_parsers.py ← Parser tests (all 10 parsers) ├── test_scan.py ← Scan CLI tests └── live_fire/ ← Docker Compose integration tests
| Capability | Status |
|---|---|
| NL → SQL (deterministic kernel) | Operational |
| SemanticGraph (join resolution) | Operational |
| 10 source parsers | Operational |
Scan CLI (boyce scan) | Operational |
| PostgresAdapter (read-only) | Operational |
| EXPLAIN pre-flight validation | Operational |
| NULL Trap detection | Operational |
| Redshift 1.0 safety linting | Operational |
| Snapshot persistence across restarts | Operational |
| Audit logging (append-only JSONL) | Operational |
Business definitions (ingest_definition) | Operational |
DSN persistence (ConnectionStore) | Operational |
Environment diagnostics (boyce doctor / check_health) | Operational |
| Multi-snapshot merge | Planned |
*Copyright 2026 Convergent Methods, LLC. MIT License.*