What is the io.github.nvlang/verso MCP server?
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
How to install io.github.nvlang/verso
Copy-paste configuration for popular MCP clients.
VERSO_MCP_SITESComma-separated alias=url list of Verso Manual-genre sites to serve. Defaults to the Lean Language Reference when unset.
{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp"
],
"env": {
"VERSO_MCP_SITES": "<YOUR_VERSO_MCP_SITES>"
}
}
}
}{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp"
],
"env": {
"VERSO_MCP_SITES": "<YOUR_VERSO_MCP_SITES>"
}
}
}
}{
"mcpServers": {
"verso": {
"command": "uvx",
"args": [
"verso-mcp"
],
"env": {
"VERSO_MCP_SITES": "<YOUR_VERSO_MCP_SITES>"
}
}
}
}{
"servers": {
"verso": {
"type": "stdio",
"command": "uvx",
"args": [
"verso-mcp"
],
"env": {
"VERSO_MCP_SITES": "<YOUR_VERSO_MCP_SITES>"
}
}
}
}claude mcp add verso --env VERSO_MCP_SITES=<YOUR_VERSO_MCP_SITES> -- uvx verso-mcpRelated MCP servers
Scrapling MCP Server
Give your AI agent stealth web scraping with Cloudflare bypass and CSS selection, powered by Scrapling.
Chrome DevTools MCP
Give your AI coding agent full control of a live Chrome browser for automation, debugging, and performance analysis.
com.puter/mcp-server
Let AI agents manage your Puter files, websites, and serverless workers over MCP.
Browser automation for AI agents via MCP, powering ByteDance's Agent TARS hybrid GUI/DOM browser control.
Run arbitrary shell commands from an MCP-connected AI agent.
Filesystem access MCP server from ByteDance's UI-TARS/Agent TARS ecosystem.