Verso
Connects Claude to Verso documentation sites, the authoring tool behind the Lean Language Reference and most Lean ecosystem docs. Exposes four read-only tools: list_sites enumerates configured docs, list_kinds shows available entry types (tactics, terms, sections), search does name-ranked queries with kind filtering, and fetch_page pulls rendered pages or specific anchors as Markdown. Reads from each site's xref.json cross-reference index and HTML output. Rate-limited by default to play nice with doc servers. Useful when you need Claude to answer questions from Lean reference material or other Verso-built documentation without copy-pasting chunks into prompts.
- GitHub stars
- 1
- tools
- 4
- transport
- STDIO
- env var
- 1
- last updated
- May 18, 2026
Tools
4 toolsPublic tool metadata for what this MCP can expose to an agent.
list_sitesEnumerate the configured Verso sites and their aliases.
Enumerate the configured Verso sites and their aliases.
No parameter schema in public metadata yet.
list_kindsList a site's entry kinds (tactics, terms, sections, options, …) with counts.
List a site's entry kinds (tactics, terms, sections, options, …) with counts.
No parameter schema in public metadata yet.
searchName-ranked search over a site's cross-reference index, with `kind` filtering and pagination.
Name-ranked search over a site's cross-reference index, with `kind` filtering and pagination.
No parameter schema in public metadata yet.
fetch_pageFetch a page — or a single `#anchor` entry — from a site and return it as Markdown.
Fetch a page — or a single `#anchor` entry — from a site and return it as Markdown.
No parameter schema in public metadata yet.
Sponsors
Agent CaffeineSponsoredClose your lid, come back to finished work
SnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthly
WaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthly
knobsSponsoredSee your site on any phone, any day, in any languageConfiguration
VERSO_MCP_SITESComma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset.
Readme
Details
- Repository
- github.com/nvlang/verso-mcp
- Package
verso-mcp- Transport
- STDIO
- Registry
- MCP registry, active