Serveur MCP
verso
io.github.nvlang/verso
Ce que fait ce MCP
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
Capacités
Outils
0
outils
Les métadonnées des outils ne sont pas disponibles publiquement.
MCP Radar n’a encore récupéré aucun outil depuis ce serveur.