verso is an MCP (Model Context Protocol) server by nvlang in the Documentation Access category. MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).

How do I connect verso to Claude, Cursor, or another MCP client?

Install verso from its pypi package (verso-mcp) and register it under "mcpServers" in your client's MCP configuration — for example claude_desktop_config.json or Cursor's mcp.json — then restart the client.

Is verso open source?

Yes — the source code is public at github.com/nvlang/verso-mcp, with 1 GitHub stars.

Can AI agents pay to use verso?

Not yet through Loomal — verso is listed as a free directory entry. If its maintainer verifies ownership, they can set per-call USDC pricing that agents pay over x402, with settlement on Base.

verso

MCP server by github.com/nvlang/verso-mcp

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

1 starspypi: verso-mcp

About verso

verso is an MCP (Model Context Protocol) server published by nvlang in the official MCP registry, listed under Documentation Access on Loomal. MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).

It ships as a Python package on PyPI (verso-mcp), so any MCP client that can launch a local process can run it.

Development happens in the open at github.com/nvlang/verso-mcp, where the project has earned 1 GitHub stars.

Use verso with your agent

Claude Code · one command

claude mcp add verso -- uvx verso-mcp

Claude Desktop, Cursor & other MCP clients · config

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

pypiverso-mcp

Frequently asked questions

What is verso?: verso is an MCP (Model Context Protocol) server by nvlang in the Documentation Access category. MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
How do I connect verso to Claude, Cursor, or another MCP client?: Install verso from its pypi package (verso-mcp) and register it under "mcpServers" in your client's MCP configuration — for example claude_desktop_config.json or Cursor's mcp.json — then restart the client.
Is verso open source?: Yes — the source code is public at github.com/nvlang/verso-mcp, with 1 GitHub stars.
Can AI agents pay to use verso?: Not yet through Loomal — verso is listed as a free directory entry. If its maintainer verifies ownership, they can set per-call USDC pricing that agents pay over x402, with settlement on Base.

More Documentation Access MCP servers

Context7

57.2k

Up-to-date code docs for any prompt

RevoGrid DataGrid MCP Pro

3.4k

Hosted Pro MCP server for RevoGrid DataGrid docs, examples, feature checks, and migration guidance.

RevoGrid DataGrid MCP

3.4k

Hosted MCP server for RevoGrid DataGrid docs, examples, feature checks, and migration guidance.

Sceneview MCP

1.2k

3D & AR SDK for Android, iOS, Web — API docs, samples, validation, and code generation.

webcomponents-react-mcp-server

534

MCP server for UI5 Web Components for React - Developer documentation and API assistance

dash-mcp-server

156

MCP server for Dash, the macOS API documentation browser. Search 200+ docsets.

Browse the full MCP server directory

Listing data from the official MCP registry and GitHub, refreshed periodically. Not affiliated with the maintainer unless claimed. Maintain verso? Claim this listing free by verifying GitHub ownership, or contact us.