INDIVIDUAL MCP TOOL

proposal.get

Fetch one TC39 proposal by slug (exact) or name (case-insensitive).

xyzzylabs.ainone authenticationAvailability not checked

Input schema

{}

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

CONNECT WITH APPROVAL

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

Codex

~/.codex/config.toml

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

Claude Code

.mcp.json

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

Claude Desktop

Settings → Connectors → Add custom connector

Name: tc39-mcp
Remote MCP URL: https://mcp.xyzzylabs.ai/tc39/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": {
    "tc39-mcp": {
      "url": "https://mcp.xyzzylabs.ai/tc39/mcp"
    }
  }
}

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

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

Generic MCP

Client-specific MCP configuration

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

MCP Inspector

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

spec.about — Self-description of this MCP server: package name + version, per-snapshot pin metadata (sha, fetched_at, biblio_commit, clause_count) for every supported (spec, edition), plus test262 + proposals index headers when present.
clause.get — Fetch a parsed TC39 clause as structured JSON.
clause.list — List parsed spec clauses with optional filters (kind, section prefix, has_algorithm).
spec.search — Search the parsed spec by clause id / aoid / title (+ step text with `search_steps`).
proposal.list — List TC39 proposals from the static index (tc39/proposals).
spec.grammar — Query grammar productions captured from the spec's `<emu-grammar>` blocks.
spec.tables — List or fetch parsed `<emu-table>` content.
spec.sdo_index — Index Syntax-Directed Operations by the grammar production they're defined on.