MCPサーバー
verso
io.github.nvlang/verso
このMCPでできること
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
機能
ツール
0
ツール
ツール情報は公開されていません。
MCP Radarはまだこのサーバーからツール情報を取得できていません。