← The evidence ledger
Evidence row 295549
Observed , by probe.mcp/1.
- Kind
- mcp.tools
- About
- endpoint a02d9cde-817c-463b-b8c3-da8dd678313c
- Recorded
- Previous row
- None: the first of its kind about this subject
- Body SHA-256
- 2594785797ea22dea74ad0dcf06b611962122ee132ba529a9d3e3d274337bf19
- Leaf
- 0x618cd7a5634966bb9f0bd7504263c694d8c5f1f389d6c1c754777cf781417989
What was observed
{
"count": 17,
"tools": [
{
"description": "Fetch a parsed TC39 clause as structured JSON. `spec` selects '262' (default) or '402'. `edition` defaults to 'latest'. `at: '<sha>'` pins to a historical main snapshot (only valid for edition='main'); omit to query the live snapshot.",
"inputSchema": {
"properties": {
"at": {
"description": "Optional historical SHA pin (hex, 4-40 chars). Only valid when edition='main'; released editions have no per-SHA history to address.",
"type": "string"
},
"edition": {
"type": "string"
},
"id": {
"type": "string"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
}
},
"required": [
"id"
],
"type": "object"
},
"name": "clause.get"
},
{
"description": "List parsed spec clauses with optional filters (kind, section prefix, has_algorithm). `spec` selects '262' or '402'. `at: '<sha>'` queries a historical main snapshot.",
"inputSchema": {
"properties": {
"at": {
"type": "string"
},
"edition": {
"type": "string"
},
"has_algorithm": {
"type": "boolean"
},
"kind": {
"type": "string"
},
"limit": {
"type": "number"
},
"section": {
"type": "string"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
}
},
"type": "object"
},
"name": "clause.list"
},
{
"description": "Return the section tree (table of contents) for a parsed (spec, edition). `depth` caps how deep the tree descends (1 = top-level only); `under` limits the tree to descendants of one clause id.",
"inputSchema": {
"properties": {
"depth": {
"type": "number"
},
"edition": {
"type": "string"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
},
"under": {
"type": "string"
}
},
"type": "object"
},
"name": "clause.outline"
},
{
"description": "Fetch one TC39 proposal by slug (exact) or name (case-insensitive).",
"inputSchema": {
"properties": {
"name": {
"type": "string"
}
},
"required": [
"name"
],
"type": "object"
},
"name": "proposal.get"
},
{
"description": "List TC39 proposals from the static index (tc39/proposals). Filter by spec ('262'|'402'), stage ('0'|'1'|'2'|'2.7'|'3'|'finished'|'inactive'|'active'), champion (substring), or contains (name/slug substring).",
"inputSchema": {
"properties": {
"champion": {
"type": "string"
},
"contains": {
"type": "string"
},
"limit": {
"type": "number"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
},
"stage": {
"type": "string"
}
},
"type": "object"
},
"name": "proposal.list"
},
{
"description": "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.",
"inputSchema": {
"additionalProperties": false,
"properties": {},
"type": "object"
},
"name": "spec.about"
},
{
"description": "For a clause id, return its outgoing references (clauses it cites) and/or incoming references (clauses that cite it — the back-reference index the parse alone doesn't expose). The reverse index is AOID-densified from step text. `direction`: 'in' | 'out' | 'both' (default). Outgoing also carries an `external` category: the clause's citations to external specs (Unicode, IETF, WHATWG) as resolvable URLs. Set `include_cross_spec: true` to also resolve outgoing references from ECMA-262 → ECMA-402 (or vice versa).",
"inputSchema": {
"properties": {
"direction": {
"enum": [
"in",
"out",
"both"
],
"type": "string"
},
"edition": {
"type": "string"
},
"id": {
"type": "string"
},
"include_cross_spec": {
"type": "boolean"
},
"limit": {
"type": "number"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
}
},
"required": [
"id"
],
"type": "object"
},
"name": "spec.crossrefs"
},
{
"description": "Clause-level diff of one clause across two editions of a spec. Reports identical / modified / added / removed plus a field-level breakdown (title, signature, step count, reworded step indices, notes, crossrefs). `from` defaults to the latest stable release, `to` to main.",
"inputSchema": {
"properties": {
"from": {
"type": "string"
},
"id": {
"type": "string"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
},
"to": {
"type": "string"
}
},
"required": [
"id"
],
"type": "object"
},
"name": "spec.diff"
},
{
"description": "Run spec.search across both ECMA-262 and ECMA-402 in one call and interleave hits by score. Each hit is tagged with the spec it came from. Use it when you don't know which spec defines a symbol. `search_steps` also matches algorithm step text.",
"inputSchema": {
"properties": {
"limit": {
"type": "number"
},
"query": {
"type": "string"
},
"search_steps": {
"type": "boolean"
}
},
"required": [
"query"
],
"type": "object"
},
"name": "spec.global_search"
},
{
"description": "Query grammar productions captured from the spec's `<emu-grammar>` blocks. `{ nonterminal }` returns every production for that non-terminal (exact match); `{ contains }` filters by RHS / name substring; neither lists all non-terminals + their production counts. `include_sdo` folds in SDO-attached productions (off by default).",
"inputSchema": {
"properties": {
"contains": {
"type": "string"
},
"edition": {
"type": "string"
},
"include_sdo": {
"type": "boolean"
},
"limit": {
"type": "number"
},
"nonterminal": {
"type": "string"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
}
},
"type": "object"
},
"name": "spec.grammar"
},
{
"description": "Index Syntax-Directed Operations by the grammar production they're defined on. `by: 'production'` (default) groups SDOs under each production; `by: 'sdo'` groups productions under each SDO title. `filter` narrows to keys containing a substring (case-insensitive).",
"inputSchema": {
"properties": {
"by": {
"enum": [
"production",
"sdo"
],
"type": "string"
},
"edition": {
"type": "string"
},
"filter": {
"type": "string"
},
"limit": {
"type": "number"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
}
},
"type": "object"
},
"name": "spec.sdo_index"
},
{
"description": "Search the parsed spec by clause id / aoid / title (+ step text with `search_steps`). Aoid-exact ranks first. `at: '<sha>'` searches a historical main snapshot.",
"inputSchema": {
"properties": {
"at": {
"type": "string"
},
"edition": {
"type": "string"
},
"limit": {
"type": "number"
},
"query": {
"type": "string"
},
"search_steps": {
"type": "boolean"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
}
},
"required": [
"query"
],
"type": "object"
},
"name": "spec.search"
},
{
"description": "List the live (spec, edition, sha, fetched_at) snapshots the hosted Worker is serving from R2. Filter by `spec` ('262'|'402') or `edition` (e.g. 'main', 'es2026'). Historical SHA-pinned copies are reachable via `at:` on clause.get / spec.search but aren't enumerated here.",
"inputSchema": {
"properties": {
"edition": {
"type": "string"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
}
},
"type": "object"
},
"name": "spec.snapshots"
},
{
"description": "Resolve spec notation like `[[Prototype]]` (internal slot), `%Object.prototype%` (well-known intrinsic), or `~number~` (sigil enum): return clauses that mention or define it, ranked by occurrence with a bump for definition-y sections.",
"inputSchema": {
"properties": {
"edition": {
"type": "string"
},
"limit": {
"type": "number"
},
"notation": {
"type": "string"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
}
},
"required": [
"notation"
],
"type": "object"
},
"name": "spec.symbol_resolve"
},
{
"description": "List or fetch parsed `<emu-table>` content. `{ id }` returns exactly that table (full columns + rows); otherwise list table summaries, optionally narrowed by a `filter` substring over the caption or id.",
"inputSchema": {
"properties": {
"edition": {
"type": "string"
},
"filter": {
"type": "string"
},
"id": {
"type": "string"
},
"limit": {
"type": "number"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
}
},
"type": "object"
},
"name": "spec.tables"
},
{
"description": "Enumerate the well-known intrinsics in a spec with their probable defining clauses. Driven from the canonical §6.1.7.4 WKI table when present (ECMA-262), else a `%X%` prose scan (e.g. ECMA-402). `filter` narrows by bare-name substring.",
"inputSchema": {
"properties": {
"edition": {
"type": "string"
},
"filter": {
"type": "string"
},
"limit": {
"type": "number"
},
"spec": {
"enum": [
"262",
"402"
],
"type": "string"
}
},
"type": "object"
},
"name": "spec.well_known_intrinsics"
},
{
"description": "Search the tc39/test262 conformance suite from its indexed front-matter. `query` AND-matches whitespace tokens (case-insensitive) across each test's description + path; `esid` prefix-matches the front-matter esid. Returns ranked hits (path, GitHub url at the indexed SHA, esid, description, features, flags), capped at `limit` (default 20). Supply at least one of `query` / `esid`.",
"inputSchema": {
"properties": {
"esid": {
"type": "string"
},
"limit": {
"type": "number"
},
"query": {
"type": "string"
}
},
"type": "object"
},
"name": "test262.search"
}
]
}What the leaf hashes
{"body":"2594785797ea22dea74ad0dcf06b611962122ee132ba529a9d3e3d274337bf19","id":295549,"kind":"mcp.tools","method":"probe.mcp/1","observed_us":1793051015533187,"prev":null,"subject":"a02d9cde-817c-463b-b8c3-da8dd678313c","subject_kind":"endpoint"}Proof
Fold these into the leaf in order, hashing each sorted pair with keccak256, to reach the root of (296695 rows).
- 0x618cd4ab4239de2aee46ae1ef5d8a3b53d07e4b6ac9d4b6e078705e0b7fbc0c9
- 0xdaf966f518cd5502445369472a32d765caa1725ea29d5ce50a9df660e459fc7c
- 0xbcf78c3e1a77ded15cc1767b54a8694233e2486bdaa7acd4576559f9b4c9e1e5
- 0x577bf254f8f18775d80d3e54147e7096c0dec62691826322ccd4a3d08961fcb5
- 0xbf0cf23efe98078c313dd42cf82577657e0ca8e1960f3a6598b2a72a43913d36
- 0x2c21d8602c70563db1f82bdb9708f2299fdbf76bec18abdb450cb5a403414ec8
- 0x497958a428817833be556711762b860c1e25ca219230f983879c208c2329726d
- 0xc23cfa66e08e45c970436c4ef6b12e30d4e9c0014d0a2c1c04824e687c6e1f0b
- 0x1a8c01e592effe027ff788cf488db6cef97384872ec133ffe9ef315258dbff02
- 0x7c4a137a143139d8d27a5db1f0f237b9e722329094da7356bef539103a830211
- 0x3d00f56ff37fbd465b8abeb2be25801b2734d79745152d15324c296fa2518752
- 0x7285c0b02d1aedd949b8ba0c7b2499f7121588ebdd4c96ef8725919bb84dd534
- 0x89fcaf55e37dd777228f271b79ea895534a66ec0d184363c2a6eb1b4d23c9ef1
- 0x216cebb9ae5414599109a02297c4817d7d1c6b1394afeb97efe38e32f0053974
- 0x7726154b91b2ad65b13849ef6cb6443b1f0ff113a3089c9bd5f2bcfc16be099d
- 0x47b89901b0f07938a6b9a66ddf35683903f79d756a7c7763665fd632758b08d0
- 0x9a83be955a206deb65b995adfd92c58fa31c95fbbf926bd199d300e70b08b26d
- 0x20704208aa6923d6b2450ef74ede87a6e0265d46447926038fe9506e9e154b2d
- 0x9b9ce5b74b9bab5121612ef6b64920a8d453cbf311096a423eef9702747e868a
- Day root
- 0xf43e8dcc3d451a4788b26be904c55e8c4c0fa75c9666796c51db38d37e2c0df8
- Chained
- 0x702d5ac508f08b0d1accf36af25822d8e5660367494edd17a642fb61e158a57a
- Published
- On Arc Testnet, block 69251483: 0x495162f8936e19f0039918feebe6c307f327cd6bf8c37219620b1970041fa9ae