Servidor MCP
verso
io.github.nvlang/verso
Qué hace este MCP
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
Capacidades
Herramientas
0
herramientas
Los metadatos de las herramientas no están disponibles públicamente.
MCP Radar todavía no ha obtenido herramientas de este servidor.