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
| Registry | Paket | Version | Transport |
|---|---|---|---|
| PyPI | verso-mcp | 0.4.2 | stdio |
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
| Server | Ausführung |
|---|---|
| Verity MCPFail-closed verify-before-you-act gate for AI agents. Signed receipts. Pay-per-call via x402. | Lokal · stdio |
| VerixID VerifierVerify VerixID proof-of-existence records and optionally prove ownership. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| VermarcoMarketplace and payment rail for AI agents: list, buy and settle with signed receipts. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| Version PillProduct management, public changelog, and feature requests - 60 lean MCP tools. | Remote · HTTP und SSELive-Prüfung: Anmeldung erforderlich |
| VersusbriefPitch reviews for agencies: a prospect against its local rivals, 90-day plan, draft ads. Read-only. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| Vertaaux MCPAutonomous UX and a11y audit, fix, and verify loop. 38 tools, framework-aware patches. | Lokal · stdio |
| Vertical FlowsView client requests, prepare actions and approve work within your firm's permissions. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| Vest MCPEarn up to 20% cashback on 200+ AI tool subscriptions. Browse, build stacks, get tracked links. | Remote · HTTPLive-Prüfung: ✓ Handshake |