io.github.nvlang/verso

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

1 0 tools GitHub

No known CVEs

No license

Actively maintained

Last commit 1d ago

Works with most clients

Transport: stdio

0 tools

Token cost not measured

Edit this pageView history

Education

Step 1

Install in your client

Config is the same across clients — only the file and path differ.

Supported in Claude Desktopstdio · Node 18+

Paste into ~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "io-github-nvlang-verso": {
      "command": "<see-readme>",
      "args": []
    }
  }
}

Are you the author?

Add this badge to your README to show your security score and help users find safe servers.

Embed in your READMEAbout badges →

[![MCPpedia Score](https://mcppedia.org/api/badge/io-github-nvlang-verso)](https://mcppedia.org/s/io-github-nvlang-verso)

Read me

What io.github.nvlang/verso does

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

Test This Server

No automated test available for this server. Check the GitHub README for setup instructions.

Loading README…

Scored, not listed

Why this score

Five weighted categories — click any category to see the underlying evidence.

Score breakdown

0/100across 5 weighted dimensions

How we score →

0255075100

−100

Security

Maintenance

Efficiency

Documentation

Compatibility

Categoriesclick a row to see evidence

Security

OSV.dev

No known CVEs.

No package registry to scan.

Help improve this page

This server is missing a description. Tools and install config are also missing.If you've used it, help the community.

Add information

Community

Reviews

Be the first to review

Have you used this server?

Share your experience — it helps other developers decide.

How easy was setup?Did it work reliably?How was the documentation?

Frequently Asked Questions

Is io.github.nvlang/verso safe to use?: io.github.nvlang/verso has no known CVEs as of the latest MCPpedia security scan. It does not require authentication, so any local process can connect — keep this in mind in shared environments.
How do I install io.github.nvlang/verso?: io.github.nvlang/verso can be installed by cloning its GitHub repository and following the setup instructions in the README.
What AI clients work with io.github.nvlang/verso?: io.github.nvlang/verso is compatible with claude-desktop, cursor, claude-code. It uses stdio transport.
Is io.github.nvlang/verso actively maintained?: io.github.nvlang/verso is actively maintained — last commit was 1 day ago. It has 1 GitHub stars.

Similar servers

Others in education

View all →

Arxiv Mcp Server94

A Model Context Protocol server for searching and analyzing arXiv papers

2.7k 4

Notebooklm Mcp93

MCP server for NotebookLM - Let your AI agents (Claude Code, Codex) research documentation directly with grounded, citation-backed answers from Gemini. Persistent auth, library management, cross-client sharing. Zero hallucinations, just your knowledge base.

2.5k 4

Auto Claude Code Research In Sleep91

ARIS ⚔️ (Auto-Research-In-Sleep) — Lightweight Markdown-only skills for autonomous ML research: cross-model review loops, idea discovery, and experiment automation. No framework, no lock-in — works with Claude Code, Codex, OpenClaw, or any LLM agent.

10.1k 5

Arxiv Latex Mcp90

MCP server that uses arxiv-to-prompt to fetch and process arXiv LaTeX sources for precise interpretation of mathematical expressions in scientific papers.

132 3

MCP Security Weekly

Get CVE alerts and security updates for io.github.nvlang/verso and similar servers.

Community

Discussion

Start a conversation

Ask a question, share a tip, or report an issue.

Has anyone used this with Cursor?How do you handle auth?Any alternatives?

Tool

Description

list_sites

Enumerate the configured Verso sites and their aliases.

`lis

Frequently Asked Questions

Is io.github.nvlang/verso safe to use?

io.github.nvlang/verso has no known CVEs as of the latest MCPpedia security scan. It does not require authentication, so any local process can connect — keep this in mind in shared environments.

How do I install io.github.nvlang/verso?

io.github.nvlang/verso can be installed by cloning its GitHub repository and following the setup instructions in the README.

What AI clients work with io.github.nvlang/verso?

io.github.nvlang/verso is compatible with claude-desktop, cursor, claude-code. It uses stdio transport.

Is io.github.nvlang/verso actively maintained?

io.github.nvlang/verso is actively maintained — last commit was 1 day ago. It has 1 GitHub stars.

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: list_sites, list_kinds, search, and fetch_page.

Tools

Tool	Description
`list_sites`	Enumerate the configured Verso sites and their aliases.
`lis

... View full README on GitHub