MCP 服务器
verso
io.github.nvlang/verso
此 MCP 可以做什么
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
功能
工具
0
工具
工具元数据未公开。
MCP Radar 尚未从此服务器获取到任何工具。