ClaudeSuperPower
V

verso

MCP Server

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

Install

claude mcp add verso -- uvx verso-mcp

What is verso?

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

Reviews

Log in to leave a review.

No reviews yet — be the first.

Explore related

Other things in this space — across every part of the ecosystem, not just mcp servers.