Developer ToolsActive
verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
Developer ToolsactivePackageOpen Sourcepypi
About This MCP Server
- Connection type
- Local/package connection
- Transport
- stdio
- Package registry
- pypi
- Package identifier
- verso-mcp
- Remote endpoint
- N/A
- Repository
- Available
- Registry
- io.github.nvlang/verso
- Version
- 0.4.2
Install Command
Use this package command in an MCP client configuration.
uvx verso-mcpSource & Metadata
- Registry name
- io.github.nvlang/verso
- Status
- active
- Created
- May 18, 2026
- Updated
- May 18, 2026
- Last synced
- Aug 18, 2026
- Version
- 0.4.2
- Transport
- stdio
- Package type
- pypi
Related MCP Servers
AILANG Parse
Deterministic DOCX/PPTX/XLSX/PDF parser: track changes, comments, headers, footers, merged cells.
streamable-httpactive
AIMarket MCP Gateway
Stdio + HTTP MCP gateway: SSRF-hardened web_fetch, web_search, metis_verify, market_search.
streamable-httpactive
Apiosk Connect
Discover, pay for, execute, and publish APIs through Apiosk.
streamable-httpactive
Australian Economic Data (ABS, RBA & APRA)
Australian economic data from the ABS, RBA, and APRA: CPI, GDP, cash rate, labour, and more.
streamable-httpactive
Axint
Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures.
streamable-httpactive
Batru — Dota 2, Deadlock & Marvel Rivals win predictor
Real, calibrated Dota 2, Deadlock & Marvel Rivals win predictions, tier lists & counters.
streamable-httpactive