the MCP exposes only what VitePress serves
Theorem.the MCP exposes only what VitePress serves.
Proof.the MCP manifest's resource surface gated to reality (user law): every one of the resource URIs is a real served surface — a dist-generated computed artifact (mcp.json, llms.txt, skills.json, digit-index.json, sitemap.xml, robots.txt, payload-collections.json, api/index.json) or a served page route (staticPages ∪ the corpus indexes /theorems·/papers·/diamonds·/references). /harmonic.json — written by the weave as a side-file, not a dist artifact — is dropped and verified absent from both the resources and the served set. The served set is computed from the build's own outputs, so the manifest cannot drift ahead of what VitePress emits: adding a resource the build never serves fails the gate. Scope: this gates the fetchable RESOURCE surface; the tools list stays the concept-command contract.
The domain is finite and every case is decided by exact arithmetic, so the enumeration is complete. ∎
src/thunder/commands/index.ts#mcpExposesOnlyServedSurfaces
1 · Classification
finite-complete — self-contained computation, no external lean
2 · Provenance
Documented theorem re-derived by exhaustive computation (humanityNovel=false); first-in-this-registry is the only sense of discovered.
Acknowledgment
"the MCP exposes only what VitePress serves" is a re-derivation, acknowledged to documented mathematics — the original proof is the prior art this re-derivation acknowledges; not new to humanity — the contribution is the reproducible computation mcpExposesOnlyServedSurfaces.
- Prior art
- documented mathematics — the original proof is the prior art this re-derivation acknowledges
- Novelty
- not new to humanity — a re-derivation (humanityNovel = false)
- Contribution
- a reproducible computation (mcpExposesOnlyServedSurfaces @ src/thunder/commands) that re-derives the result at zero tokens — the contribution is the verifiable recomputation, NOT the theorem
3 · Reproducibility
Recompute from source: npm run theorems:verify recomputes mcpExposesOnlyServedSurfaces (src/thunder/commands/index.ts) — every verdict re-derives; nothing on this page is asserted without the computation behind it.