INDIVIDUAL MCP TOOL

proposal_list

List WebAssembly proposals + phases.

xyzzylabs.ainone authenticationAvailability not checked

Input schema

{}

Inferred read-only · medium confidence · heuristic, not a guarantee.

No write-capable action terms were found; this is not proof that invocation has no side effects.

CONNECT WITH APPROVAL

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.wasm-mcp]
url = "https://mcp.xyzzylabs.ai/wasm/mcp"
enabled = true

Claude Code

.mcp.json

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

Claude Desktop

Settings → Connectors → Add custom connector

Name: wasm-mcp
Remote MCP URL: https://mcp.xyzzylabs.ai/wasm/mcp

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

{
  "mcpServers": {
    "wasm-mcp": {
      "url": "https://mcp.xyzzylabs.ai/wasm/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

{
  "servers": {
    "wasm-mcp": {
      "type": "http",
      "url": "https://mcp.xyzzylabs.ai/wasm/mcp"
    }
  }
}

Generic MCP

Client-specific MCP configuration

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

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

spec_version — Return this server's package version plus the pinned upstream commit SHA(s) the bundled data was indexed from.
instruction_get — Fetch one WebAssembly instruction by mnemonic (`i32.
instruction_list — Enumerate WebAssembly instructions, filterable by `category`, `introduced_in` (1.
instruction_search — Ranked free-text search across instruction mnemonics, categories, and opcode hex.
type_get — Look up a value type (`i32`, `funcref`, `v128`, …) or type form (`functype`, `limits`, `memtype`, …): classification, sibling members, defining clause prose, formal refs, and URL.
section_get — 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 — 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 — Full-text search across clause anchors, titles, and prose of a spec (`core` / `js-api` / `web-api`).