Autres · Serveur MCP local

Verso

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

Ce qu’indique le MCP Registry

L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.

Nom dans le registre
io.github.nvlang/verso
Version
0.4.2
Statut
Actif
Catégorie
autres
Transport
stdio (processus local)
Paquet
PyPI
Publié
18 mai 2026
Mis à jour
18 mai 2026
Éditeur
nvlang (GitHub)
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/nvlang) · comment
Dépôt
github.com/nvlang/verso-mcp
Source
Entrée dans l’API du registre

Paquets

RegistrePaquetVersionTransportVariables d’environnement
PyPIverso-mcp0.4.2stdioVERSO_MCP_SITES

Comment connecter Verso

Verso s’exécute en local depuis un paquet Python publié sur PyPI : verso-mcp, version 0.4.2. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Python ; les clients le lancent généralement avec uvx (fourni par uv) ou après pip install - la commande habituelle est uvx verso-mcp. Il lit la variable d’environnement VERSO_MCP_SITES ; définissez-la dans la configuration du client pour ce serveur.

Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :

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

Déduit de l’entrée du registre, non testé ici. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur

Autres serveurs : autres

Voir les 8 395 →
ServeurExécutionPoint de terminaison ou paquet
Verity MCPFail-closed verify-before-you-act gate for AI agents. Signed receipts. Pay-per-call via x402.Local · stdioPyPI : verity-mcp
VerixID VerifierVerify VerixID proof-of-existence records and optionally prove ownership.Distant · HTTPVérification en direct : ✓ poignée de mainmcp.verixid.com
VermarcoMarketplace and payment rail for AI agents: list, buy and settle with signed receipts.Distant · HTTPVérification en direct : ✓ poignée de mainvermarco.com
Version PillProduct management, public changelog, and feature requests - 60 lean MCP tools.Distant · HTTP et SSEVérification en direct : connexion requisemcp.versionpill.com
VersusbriefPitch reviews for agencies: a prospect against its local rivals, 90-day plan, draft ads. Read-only.Distant · HTTPVérification en direct : connexion requiseversusbrief.com
Vertaaux MCPAutonomous UX and a11y audit, fix, and verify loop. 38 tools, framework-aware patches.Local · stdionpm : @vertaaux/mcp-server
Vertical FlowsView client requests, prepare actions and approve work within your firm's permissions.Distant · HTTPVérification en direct : connexion requiseverticalflows.com
Vest MCPEarn up to 20% cashback on 200+ AI tool subscriptions. Browse, build stacks, get tracked links.Distant · HTTPVérification en direct : ✓ poignée de mainmcp.getvest.ai