V
verso
io.github.nvlang/verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
Version0.4.2
Remote accessNO
Local installYES
Packagespypi
First seen26 Sept 2026
Last seen4d ago
Capabilities
Matched from the publisher's description · automatic, low confidenceNo capability identified yet.
Facts & evidence
Each fact shows where it was seen and when.| Fact | Value | Evidence | Source | Last confirmed |
|---|---|---|---|---|
| Package registries | pypi | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Local install (package) | yes | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Remote access (hosted) | no | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Repository | https://github.com/nvlang/verso-mcp | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Registry status | active | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| Version | 0.4.2 | DECLARED | SRC-001 Official MCP Registry | 4d ago |
| MCP server | yes | DECLARED | SRC-001 Official MCP Registry | 4d ago |
Change history
Baseline
No change detected yet. History builds up as the robots revisit this server.