wasm-mcp

wasm-mcp

WebAssembly コア仕様用の Model Context Protocol サーバーです。 SHA で固定され、読み取り専用かつ決定的に動作するため、認証なしのパブリックエンドポイントとして安全にホストできます。

W3C WebAssembly Community Group または Working Group とは提携しておらず、承認や後援も受けていません。

提供内容

• spec_version — 固定された上流コミットとパッケージバージョン。
• instruction_get — ニーモニック（i32.add）またはバイナリーオペコード（0x6a）で検索できる、オペコードのバイト列、カテゴリ、導入バージョン、スタック型シグネチャ、検証および実行に関する説明文のアンカー／URL、トラップ条件（traps および can_trap）。
• instruction_list — カテゴリ（numeric、vector、reference、parametric、variable、table、memory、control、ref、i31、struct、array、extern）、導入バージョン、またはプレフィックスでフィルタリングできる一覧表示。
• instruction_search — ニーモニック、カテゴリ、オペコードを対象としたランキング付きのフリーテキスト検索。
• type_get — 値型（数値／ベクター／参照）と型形式（functype、limits、memtype など）、および型を定義する説明文。
• section_get — ID／アンカーで指定した仕様の節（structure、validation、execution、binary、text）。説明文、相互参照、SpecTec の形式規則への参照、レンダリングされた URL を返します。
• section_list — 領域またはアンカープレフィックスで節のツリーをたどります。
• spec_search — アンカー、タイトル、説明文を対象とした全文検索。
• proposal_list — WebAssembly の提案とそのフェーズ（固定された WebAssembly/proposals リポジトリから取得）。ステータス、フェーズ、チャンピオン、または影響を受ける仕様でフィルタリングできます。

section_get、section_list、spec_search は、WebAssembly/spec リポジトリにある3つの仕様すべてを対象とする spec 引数を受け取ります。対象は core（デフォルト）、js-api（JavaScript 埋め込み API）、web-api（Web プラットフォームとの統合）です。命令および型のツールは core のみを対象とします。

契約

すべてのツールは次のとおりです。

• 読み取り専用です。 状態の変更や、任意のローカルキャッシュ以外への書き込みは行いません。
• 決定的に動作します。 vendor/PINNED.txt に記録された固定仕様コミットに対し、同じ入力からは同じ出力が得られます。
• コードを実行しません。 WebAssembly や任意のコードをコンパイル、実行による検証、インスタンス化、実行することはありません。検証規則と簡約規則はデータとして返されます。
• 認証情報、シークレット、個人情報（PII）は不要です。 匿名で利用できます。
• リクエスト時にネットワークを使用しません。 仕様データはすべてビルド時に取得・インデックス化され、パッケージに組み込まれます。

インストール（stdio、ローカル）

npx wasm-mcp

サーバーを設定に追加することで、任意の MCP クライアントに接続できます（起動コマンドはどこでも同じで、異なるのは設定ファイルだけです）。

{
  "mcpServers": {
    "wasm": {
      "type": "stdio",
      "command": "npx",
      "args": ["wasm-mcp"]
    }
  }
}

ホスト型 Worker

worker/ の Cloudflare Worker は、stdio パッケージと同じツール一式を、単一の認証不要エンドポイントからストリーム可能な HTTP 経由で公開します。送信元 IP ごとにレート制限（30 req / 60 s）が適用されます。

https://mcp.xyzzylabs.ai/wasm/mcp

GET /wasm/health はステータスと固定された SHA を返し、GET /wasm/privacy は匿名利用およびデータを保存しない方針を示します。すべての仕様データは Worker にバンドルされるため、メモリ内での検索のみを行い、ストレージもリクエスト時のネットワーク通信も使用しません。

リリースとデータの更新

固定されたコミットは vendor/PINNED.txt に記載されており、spec_version で報告されます。スケジュール設定された GitHub Actions ワークフロー（refresh.yml）は、毎日アップストリームリポジトリの SHA を比較します。固定先が更新されると、固定し直してパッチバージョンを上げ、リリースにタグを付けます。これにより、npm パッケージが公開され（release.yml）、Worker が再デプロイされます（deploy-worker.yml）。

メンテナー向け：

• npm の公開には Trusted Publishing（OIDC）を使用します。NPM_TOKEN は不要です。npmjs.com で一度設定してください（wasm-mcp → Settings → Trusted Publisher → GitHub Actions：org xyzzylabs、repo wasm-mcp、workflow release.yml）。
• Worker のデプロイには CLOUDFLARE_API_TOKEN と CLOUDFLARE_ACCOUNT_ID が必要です。これらは cloudflare GitHub Environment の 環境シークレットとして保存してください（リポジトリ全体ではなく）。デプロイルールは main と v* に設定します。詳しくはデプロイ認証情報の保護をご覧ください。
• refresh ワークフローによるタグのプッシュをリリースとデプロイのトリガーにするには、WORKFLOW_PAT PAT（contents: write と workflows）を追加してください。これがない場合も、refresh による再固定とタグ付けは実行されますが、リリースとデプロイは手動で行います。（tc39-mcp と同じシークレット名のため、1 つの PAT、または xyzzylabs の組織シークレットを両方のリポジトリで使用できます。）

ライセンス

MIT — LICENSE をご覧ください。