verso
本地MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
安装配置
{
"mcpServers": {
"verso": {
"command": "npx",
"args": [
"verso-mcp"
]
}
}
}
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
{
"mcpServers": {
"verso": {
"command": "npx",
"args": [
"verso-mcp"
]
}
}
}