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.