wasm-mcp
Read-only MCP server for the WebAssembly spec: instructions, types, sections, search, proposals.
Connect it
Settings → Connectors → Add custom connector
URL: https://mcp.xyzzylabs.ai/wasm/mcpSettings → Apps & Connectors → Advanced → Developer mode
Create connector with URL: https://mcp.xyzzylabs.ai/wasm/mcp{
"mcpServers": {
"wasm-mcp": {
"url": "https://mcp.xyzzylabs.ai/wasm/mcp"
}
}
}claude mcp add --transport http wasm-mcp https://mcp.xyzzylabs.ai/wasm/mcp{
"servers": {
"wasm-mcp": {
"type": "http",
"url": "https://mcp.xyzzylabs.ai/wasm/mcp"
}
}
}{
"mcpServers": {
"wasm-mcp": {
"command": "npx",
"args": [
"-y",
"wasm-mcp@0.2.16"
]
}
}
}claude mcp add wasm-mcp -- npx -y wasm-mcp@0.2.169 tools, verified live
spec_versionread-onlyReturn this server's package version plus the pinned upstream commit SHA(s) the bundled data was indexed from.
instruction_getread-onlyFetch 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_listread-onlyEnumerate 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_searchread-onlyRanked free-text search across instruction mnemonics, categories, and opcode hex. Returns hits with a `matched_on` field.
type_getread-onlyLook up a value type (`i32`, `funcref`, `v128`, …) or type form (`functype`, `limits`, `memtype`, …): classification, sibling members, defining clause prose, formal refs, and URL.
section_getread-onlyFetch 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_listread-onlyNavigate 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_searchread-onlyFull-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.
proposal_listread-onlyList WebAssembly proposals + phases. Filter by `status` (phase-0…phase-5, finished, inactive), `phase` (0–5), `champion`, `affects` (core|js-api|web-api), or `contains`.
Alternatives in Search & Research
Compare →FRFerritin — Rust documentationA
Search and read Rust documentation for the standard library and any crate on crates.io
RTRef Tools MCPA
Token-efficient search for coding agents over public and private documentation.
FBfojin — Buddhist Canon ToolsA
Buddhist canon tools: search, passages, cross-canon parallels, dictionaries — all URN-cited.
Cellarion Wine RegistryA
Public wine registry and guides: search wines, grapes, regions, appellations. No account.
SKSui Knowledge Base (kapa.ai)A
Semantic search across Sui documentation and knowledge sources, powered by kapa.ai
DIDiscoA
Find novel, statistically validated patterns in tabular data — hypothesis-free.