cosmic-mcp

All servers

verso

io.github.nvlang/verso · version 0.4.2

Community listing. Not installed or verified by cosmic-mcp. Read the source and its permissions before you run it.

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

https://github.com/nvlang/verso-mcp

Quick facts

  • Listing: Community
  • Published May 18, 03:37 UTC
  • Transport: stdio
  • Package: pypi verso-mcp 0.4.2
  • Listed by cosmic-mcp: Nov 9, 04:26 UTC

Developer tools Language and translation

Setup snippets

Generated from the registry entry. cosmic-mcp has not run or reviewed this server; values in angle brackets are yours to fill in.

Run it locally (pypi)

uvx 'verso-mcp==0.4.2'

Claude Desktop (claude_desktop_config.json)

{
  "mcpServers": {
    "verso": {
      "args": [
        "verso-mcp==0.4.2"
      ],
      "command": "uvx",
      "env": {
        "VERSO_MCP_SITES": "<your verso mcp sites>"
      }
    }
  }
}

Claude Code

claude mcp add 'verso' -- uvx 'verso-mcp==0.4.2'

Cursor (.cursor/mcp.json)

{
  "mcpServers": {
    "verso": {
      "args": [
        "verso-mcp==0.4.2"
      ],
      "command": "uvx",
      "env": {
        "VERSO_MCP_SITES": "<your verso mcp sites>"
      }
    }
  }
}

VS Code (.vscode/mcp.json)

{
  "servers": {
    "verso": {
      "args": [
        "verso-mcp==0.4.2"
      ],
      "command": "uvx",
      "env": {
        "VERSO_MCP_SITES": "<your verso mcp sites>"
      },
      "type": "stdio"
    }
  }
}

Related servers

  • Aidoo for Odoo Verified domain
    Query and update your Odoo ERP in plain language, under your own Odoo access rules.
  • Ankra Docs Verified domain
    Search the Ankra documentation: clusters, stacks, GitOps, CI/CD and the CLI. No account needed.
  • .FAF Context Verified domain
    .FAF Context — persistent project context for Cursor, VS Code and every MCP-compatible IDE.
  • .NET Debugger for MCP
    Give an AI agent a real .NET debugger: breakpoints, stepping, locals, expression evaluation.
  • .NET MCP Server
    AI assistant access to .NET SDK for projects, packages, building, testing, and development tools.
  • 1c-enterprise-mcp
    1C Enterprise MCP: 20 real tools to read, check, lint, scaffold, build and run 1C Enterprise code.