I
io.github.nvlang/verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
1 GitHub
No known CVEs
No license
Actively maintained
Last commit 4d ago
Works with most clients
Transport: stdio
0 tools
Grade F
Step 1
Install in your client
Config is the same across clients — only the file and path differ.
CD
Supported in Claude Desktopstdio · Node 18+
Paste into ~/Library/Application Support/Claude/claude_desktop_config.json
{
"mcpServers": {
"verso": {
"env": {
"VERSO_MCP_SITES": "lean-reference=https://lean-lang.org/doc/reference/latest/, fpil=https://lean-lang.org/functional_programming_in_lean/"
},
"args": [
"verso-mcp"
],
"type": "stdio",
"command": "uvx"
}
}
}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 →
[](https://mcppedia.org/s/io-github-nvlang-verso)
Read me
What io.github.nvlang/verso does
An MCP (Model Context Protocol) server that lets an AI agent search and read documentation built with Verso, Lean's documentation authoring
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
39/100across 5 weighted dimensions
0255075100
12
14
10
−61
Security
Maintenance
Efficiency
Documentation
Compatibility
Categoriesclick a row to see evidence
Security
OSV.devNo known CVEs.
No package registry to scan.
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?
Sign in to write a review.
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 supports copy-paste install configs on its MCPpedia page for Claude Desktop, Cursor, and Claude Code. Scroll to the Quick Install section and select your client.
- 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 4 days ago. It has 1 GitHub stars.
Related
Similar servers
Others in education
Auto Claude Code Research In Sleep92ARIS ⚔️ (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.
12.7k 5
Notebooklm Mcp90MCP 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.9k 4
Arxiv Mcp Server90A Model Context Protocol server for searching and analyzing arXiv papers
2.9k 4
I
io.github.altmetric/altmetric-mcp89MCP server for Altmetric APIs - track research attention across news, policy, social media, and more
6 9
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?
Sign in to join the discussion.
