Sonstige · Lokaler MCP-Server

Verso

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

Was die MCP Registry angibt

Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.

Registry-Name
io.github.nvlang/verso
Version
0.4.2
Status
Aktiv
Kategorie
Sonstige
Transport
stdio (lokaler Prozess)
Paket
PyPI
Veröffentlicht
18. Mai 2026
Aktualisiert
18. Mai 2026
Herausgeber
nvlang (GitHub)
Namensraum
Namensraum von der MCP Registry über GitHub verifiziert (github.com/nvlang) · So wird verifiziert
Repository
github.com/nvlang/verso-mcp
Quelle
Eintrag in der Registry-API

Pakete

RegistryPaketVersionTransportUmgebungsvariablen
PyPIverso-mcp0.4.2stdioVERSO_MCP_SITES

So verbinden Sie Verso

Verso wird lokal ausgeführt, und zwar aus einem auf PyPI veröffentlichten Python-Paket: verso-mcp, Version 0.4.2. Der Server spricht MCP über stdio: Der Client startet ihn als Programm und kommuniziert mit ihm über Standardein- und -ausgabe. Benötigt wird Python; Clients starten das Paket meist mit uvx (aus uv) oder nach pip install - der übliche Befehl lautet uvx verso-mcp. Der Server liest die Umgebungsvariable VERSO_MCP_SITES; legen Sie sie in der Konfiguration des Clients für diesen Server fest.

Im JSON-Format mcpServers, das viele MCP-Clients für Desktop und Editor lesen, sieht der Eintrag so aus (Platzhalter in spitzen Klammern):

{
  "mcpServers": {
    "verso": {
      "command": "uvx",
      "args": [
        "verso-mcp"
      ],
      "env": {
        "VERSO_MCP_SITES": "<wert>"
      }
    }
  }
}

Abgeleitet aus dem Registry-Eintrag, hier nicht getestet. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden

Weitere Server der Kategorie Sonstige

Alle 8.395 →
ServerAusführungEndpunkt oder Paket
Verity MCPFail-closed verify-before-you-act gate for AI agents. Signed receipts. Pay-per-call via x402.Lokal · stdioPyPI: verity-mcp
VerixID VerifierVerify VerixID proof-of-existence records and optionally prove ownership.Remote · HTTPLive-Prüfung: ✓ Handshakemcp.verixid.com
VermarcoMarketplace and payment rail for AI agents: list, buy and settle with signed receipts.Remote · HTTPLive-Prüfung: ✓ Handshakevermarco.com
Version PillProduct management, public changelog, and feature requests - 60 lean MCP tools.Remote · HTTP und SSELive-Prüfung: Anmeldung erforderlichmcp.versionpill.com
VersusbriefPitch reviews for agencies: a prospect against its local rivals, 90-day plan, draft ads. Read-only.Remote · HTTPLive-Prüfung: Anmeldung erforderlichversusbrief.com
Vertaaux MCPAutonomous UX and a11y audit, fix, and verify loop. 38 tools, framework-aware patches.Lokal · stdionpm: @vertaaux/mcp-server
Vertical FlowsView client requests, prepare actions and approve work within your firm's permissions.Remote · HTTPLive-Prüfung: Anmeldung erforderlichverticalflows.com
Vest MCPEarn up to 20% cashback on 200+ AI tool subscriptions. Browse, build stacks, get tracked links.Remote · HTTPLive-Prüfung: ✓ Handshakemcp.getvest.ai