Connection check
verified live · 26h ago
wasm-mcp
Read-only MCP server for the WebAssembly spec: instructions, types, sections, search, proposals.
Tools
9
GitHub stars
—
Installs / wk
—
Licence
—
Transport
streamable-http, stdio
Last checked
26h ago
Tools & capabilities
9 toolsRead from the running server on 26h ago.
instruction_get
read-only
opcodemnemonic
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,… 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).
instruction_list
read-only
prefixcan_trapcategoryintroduced_in
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… 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.
instruction_search
read-only
limitquery*
Ranked free-text search across instruction mnemonics, categories, and opcode hex. Returns hits with a `matched_on` field. Ranked free-text search across instruction mnemonics, categories, and opcode hex. Returns hits with a `matched_on` field.
proposal_list
read-only
phasestatusaffectschampioncontains
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`. 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`.
section_get
read-only
id*spec
Fetch one spec clause by id or anchor across `core` / `js-api` / `web-api` (`syntax-numtype`, `valid-unreachable`, `modules`, `streaming-modules`, …): title, prose, cross-reference… 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.
section_list
read-only
pathspecmax_leveltitled_onlyanchor_prefix
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_… 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`.
spec_search
read-only
speclimitquery*
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. 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.
spec_version
read-only
Return this server's package version plus the pinned upstream commit SHA(s) the bundled data was indexed from. Return this server's package version plus the pinned upstream commit SHA(s) the bundled data was indexed from.
type_get
read-only
name*