wasm-mcp

Measured conclusion: Deep-tested. L2 outcome: tools_ok.

Read-only MCP server for the WebAssembly spec: instructions, types, sections, search, proposals.

Add to your agent

Copy this into your MCP client config:

{
  "mcpServers": {
    "wasm-mcp": {
      "url": "https://mcp.xyzzylabs.ai/wasm/mcp",
      "transport": "streamable-http"
    }
  }
}

Measured tools (9)

• spec_version read-only

  Return this server's package version plus the pinned upstream commit SHA(s) the bundled data was indexed from.

  Hints: read-only yes · destructive not declared · idempotent not declared · open-world not declared

• instruction_get read-only

  Fetch one WebAssembly instruction by mnemonic (`i32.add`) or binary opcode (`0x6a`, multi-byte `0xfd 0x89 0x02`): opcode bytes, category, introducing version, stack type signature, validation/execution anchors + URLs, and `traps` (runtime trap conditions with canonical names; empty + `can_trap:false` when it never traps).

  Parameters:

  • opcode — string — Binary opcode hex, e.g. `0x6a` or `0xfd 0x89 0x02`. Exact.
  • mnemonic — string — Instruction mnemonic, e.g. `i32.add`. Case-insensitive, exact.

  Hints: read-only yes · destructive not declared · idempotent not declared · open-world not declared

• instruction_list read-only

  Enumerate WebAssembly instructions, filterable by `category`, `introduced_in` (1.0|2.0|3.0), mnemonic `prefix`, and `can_trap` (only trapping / only non-trapping). Rows (incl. `can_trap`) sorted by opcode.

  Parameters:

  • prefix — string — Mnemonic prefix, e.g. `i32.`. Case-insensitive.
  • can_trap — boolean — Keep only instructions that can (true) / cannot (false) trap.
  • category — string — Instruction category.
  • introduced_in — string — Introducing version.

  Hints: read-only yes · destructive not declared · idempotent not declared · open-world not declared

• instruction_search read-only

  Ranked free-text search across instruction mnemonics, categories, and opcode hex. Returns hits with a `matched_on` field.

  Parameters:

  • query (required) — string — Search text.
  • limit — integer — Max hits.

  Hints: read-only yes · destructive not declared · idempotent not declared · open-world not declared

• type_get read-only

  Look up a value type (`i32`, `funcref`, `v128`, …) or type form (`functype`, `limits`, `memtype`, …): classification, sibling members, defining clause prose, formal refs, and URL.

  Parameters:

  • name (required) — string — Type or type-form name. Case-insensitive, exact.

  Hints: read-only yes · destructive not declared · idempotent not declared · open-world not declared

• section_get read-only

  Fetch one spec clause by id or anchor across `core` / `js-api` / `web-api` (`syntax-numtype`, `valid-unreachable`, `modules`, `streaming-modules`, …): title, prose, cross-references, SpecTec formal refs, and rendered URL.

  Parameters:

  • id (required) — string — Clause id or anchor.
  • spec — string — Which spec (default core).

  Hints: read-only yes · destructive not declared · idempotent not declared · open-world not declared

• section_list read-only

  Navigate the clause tree of a spec (`core` / `js-api` / `web-api`), filterable by source `path` (`syntax`, `valid`, `exec`, `binary`, `text`, `appendix`), `anchor_prefix`, `titled_only`, and `max_level`.

  Parameters:

  • path — string — Source path / prefix.
  • spec — string — Which spec (default core).
  • max_level — integer — Cap heading depth.
  • titled_only — boolean — Drop anchor-only blocks.
  • anchor_prefix — string — Id/anchor prefix.

  Hints: read-only yes · destructive not declared · idempotent not declared · open-world not declared

• spec_search read-only

  Full-text search across clause anchors, titles, and prose of a spec (`core` / `js-api` / `web-api`). Ranked anchor-exact > title > anchor > prose, with snippets for body matches.

  Parameters:

  • query (required) — string — Search text.
  • spec — string — Which spec (default core).
  • limit — integer — Max hits.

  Hints: read-only yes · destructive not declared · idempotent not declared · open-world not declared

• proposal_list read-only

  List WebAssembly proposals + phases. Filter by `status` (phase-0…phase-5, finished, inactive), `phase` (0–5), `champion`, `affects` (core|js-api|web-api), or `contains`.

  Parameters:

  • phase — integer — Numeric phase 0–5.
  • status — string — Lifecycle status.
  • affects — string — Affected spec (finished only).
  • champion — string — Champion substring.
  • contains — string — Name/champion substring.

  Hints: read-only yes · destructive not declared · idempotent not declared · open-world not declared

Publisher website Repository

Measured by MCPYP probing. Untested fields are omitted, never estimated. Listing is always free; MCPYP never proxies calls or stores user tokens.