← Back to Plugins

MCP Server MCP

io.github.nvlang/verso

github

By github 👁 1 views ▲ 0 votes

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

Homepage Verified source GitHub

Install

uvx verso-mcp

Configuration Example

{
  "remotes": [],
  "packages": [
    {
      "registryType": "pypi",
      "identifier": "verso-mcp",
      "version": "0.4.2",
      "transport": {
        "type": "stdio"
      },
      "environmentVariables": [
        {
          "description": "Comma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset.",
          "name": "VERSO_MCP_SITES"
        }
      ]
    }
  ]
}

mcp model-context-protocol pypi

Comments

Sign in to leave a comment

Loading comments...

More by github

GetFacade

Designs a real house exterior on its own photo, prices it line by line and documents it.

Waggle

Discover, search, invoke, and rate A2A (Agent-to-Agent) protocol agents.

SIMcloud

South African MCP server for airtime, data, SMS, VAS, electricity, balance, and network lookup.

Yault AESP

Crypto payments for the agent economy — policy-gated vault operations under human control

Similar Plugins in MCP Server

Kooma — Bambara AI

Bambara AI over MCP: text-to-speech, transcription and translation (Bamanankan + more).

GetFacade

Designs a real house exterior on its own photo, prices it line by line and documents it.

alfred_

Your real Gmail, Outlook and calendars, worked as you: read, draft, send, schedule, organize.

Gessa: game asset generation for AI agents

Generate game-ready 3D models, textures, and audio from natural language, over MCP.

ai.agentgates/mcp

Confidential compute and inference sold to agents over x402 USDC, plus an agent wallet over MCP.

wix-mcp · wix

http