verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
インストール
ワンクリックインストール
これを `claude_desktop_config.json` ファイルに追加してください:
{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp"
]
}
}
}実行可能なパッケージ
pypiverso-mcp
0.4.2stdioできること
ツール一覧
公開できるツールの列挙は記録されていません。
コミュニティ
エビデンス
最近の観測
このサーバーには Registry のメタデータがありますが、公開された検証実行はまだありません。