MCP-Server
verso
io.github.nvlang/verso
Was dieses MCP kann
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
Funktionen
Tools
0
Tools
Tool-Metadaten sind nicht öffentlich verfügbar.
MCP Radar hat von diesem Server noch keine Tools abgerufen.