MCP.Market

Verso MCP server

by nvlang·io.github.nvlang/verso·v0.4.2·1 stars
No reviews yet

MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).

A92/100grade A
Write a reviewInstall
What users say
No reviews yet
Be the first
Safety scan
A92/100

full report

Adoption
Growing

1 stars19 downloads/wk

Reviews

Write one

Nobody has reviewed Verso yet.

If you have run it, two minutes of your experience saves the next person an afternoon.

Verso tools (4)

write = sends, deletes, buys or posts

Read from the package source without running it. The installed server may list more.

  • fetch_page

    Fetch a page from a Verso documentation site and return it as Markdown.

  • list_kinds

    List the kinds of entries indexed for a Verso site, with counts.

  • list_sites

    List the Verso documentation sites this server is configured to serve.

  • search

    Search a Verso documentation site's cross-reference index by name.

Public scan report

scanner v0.1.9 · 2026-09-27 · same rubric, same numbers if you re-run it

no findings
  • Code scan6 source files scanned25/25
  • –Live reliabilityno gateway calls yet and no remote to proben/a
  • –Tool poisoningtools not inspected (local package is not executed); not countedn/a
  • Auth qualitylocal package, no credentials required12/15
  • Maintenancelast push 9 days ago15/15
  • Maintainer identityregistry namespace matches repository owner; GitHub account older than a year8/10
Overall 92/100. Components that don't apply are left out of the denominator. Any critical finding is an F.RubricAppeal a findingJSON

How Verso compares

Against every graded MCP server, from our own scans and uptime checks. Updated after each scan run.

Safety score
92/100
higher than 95% of 48,255 servers
Tools
4
the typical server has 7
Tools that change things
0%
typical: 0%. Fewer write tools means less an agent can break
GitHub stars
1
more than 65% of 28,688 servers
Downloads a week
19
more than 6% of 12,191 servers with a package

What its tools let an agent do: 4 read

Install Verso in Claude Code, Cursor or VS Code

claude mcp add verso -- uvx verso-mcp
Add to Cursor

What the publisher says

From the Verso repository's README, as published. We do not edit it. Read it on GitHub

An MCP (Model Context Protocol) server that lets an AI agent search and read documentation built with Verso, Lean's documentation authoring tool.

Verso powers most of the Lean ecosystem's reference docs and books — the Lean Language Reference, Functional Programming in Lean, Theorem Proving in Lean 4, and more. Verso Manual-genre sites publish a machine-readable cross-reference index (xref.json); this server consumes that index and the rendered HTML.

[!WARNING]

The format of the xref.json files that this server depends on is

Verso-internal and may change at any time. Such changes could render this

server non-functional. I'll try to keep up with any such changes, but can't

make any promises.

Point it at one or more Verso sites and an agent gets four read-only tools: listsites, listkinds, search, and fetch_page.

Tools

Shortened. The full README is on GitHub.

Nothing above is checked by us. What we check is on the safety report.

Verso: common questions

Is Verso MCP server safe?
Yes, by our scan: it is graded A (92/100). Read the Verso safety report
How do I install Verso?
It runs on your machine. Copy the Claude Code, Cursor, VS Code or Claude Desktop config from the install section.
Does Verso need an API key?
No secret keys are declared. It reads 1 setting from the environment.
Is Verso maintained?
The last commit was 46 days ago (2026-09-18). The latest release is v0.4.2.
How does Verso compare with other MCP servers?
safety score 92/100 (higher than 95% of 48,255 servers); tools 4 (the typical server has 7); tools that change things 0% (typical: 0%. Fewer write tools means less an agent can break). Full comparison.