io.github.nvlang/verso

not probeable (local package)

Unclaimed · Unverified

Publisher-provided description

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

Summary by lookupd

Lets an agent read and query documentation sites generated with Verso, such as the Lean Language Reference.

Install

Claude Code, pypi package (stdio)

claude mcp add verso -- uvx verso-mcp

Codex, pypi package (stdio)

codex mcp add verso -- uvx verso-mcp

Cursor, pypi package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "verso": {
      "command": "uvx",
      "args": [
        "verso-mcp"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.nvlang/verso.svg)](https://lookupd.com/servers/io.github.nvlang/verso)