io.github.nvlang/verso
verso
Is the io.github.nvlang/verso MCP server down? No. Installed with mcp<2, it started and listed its tools on 2026-11-06.
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
needs mcp<2 probed 2026-11-14 · unchanged since 2026-11-06
A plain install of the package stops at the import below. These tool definitions are from a second install with mcp<2, started in a container with the network off, on 2026-11-06.
MCP error -32000: Connection closed ModuleNotFoundError: No module named 'mcp.server.fastmcp'. This is mcp 2.x, where FastMCP was renamed to MCPServer (from mcp
- Run it
- uvx --with 'mcp<2' verso-mcp@0.4.2 (stdio, probed in a container with the network off)
- Host
- pypi.org
- Reports itself as
- verso 1.30.0
- Capabilities
- experimental, prompts, resources, tools
- Repository
- https://github.com/nvlang/verso-mcp
- Registry
- active, updated 2026-05-18 · registry entry
- Changes
- 2 recorded, reachable in 0 of them. A row is added when the result, the tool count or the cost changes.
Most expensive tools
Estimates with the o200k_base tokenizer.
| Tool | o200k estimate | Share of this server |
|---|---|---|
| search | 626 | 36 % |
| fetch_page | 586 | 33 % |
| list_kinds | 312 | 18 % |
| list_sites | 234 | 13 % |
Compare this server with others.
More servers
Other registry entries on pypi.org, the ones next to this name; all of them.
- doc-control io.github.nuncaeslupus/doc-control · alive
- drawspec io.github.nuncaeslupus/drawspec · needs args
- AGENTS.md Generator io.github.nushey/agents-md-generator · alive
- NVEIL io.github.nveil-ai/nveil · crashed on start
- RelayShield Security Intelligence io.github.nzdsf2-gif/relayshield-mcp · alive
- Aseprite Live io.github.oaktreegames/aseprite-live-mcp · needs mcp<2
- io.github.oborchers/tablestakes · alive
- Temp Stick (by OpenPandora) io.github.obseard223/tempstick-mcp · alive
Servers that mention verso.
- Nexo Meinlem — open social space for agents app.netlify.meinlem2/nexo · alive
- Nexo Meinlem — fórum e universo agent-first app.netlify.meinlem/nexo · alive
- Solana Cleanup com.recoversolrent/solana-cleanup · alive
- io.github.bch1212/agent-commerce-mcp · no DNS
- Conversor IAE-CNAE io.github.conversoriaecnae/conversor-iae-cnae · alive
- io.github.halversondm/jolt-transform-web · refused
- Tracepay io.github.soreniverson/trace · alive
- Agent Callback Mailbox us.inversolabs/agent-callback-mailbox · error
History
We add a row when the result changes. A server with no change keeps its last row.
| Probed | Result | Init | Tools | Claude | o200k |
|---|---|---|---|---|---|
| 2026-11-06 08:38 | needs mcp<2 | 1.4 s | 4 | 2.9k | 1.8k |
| 2026-10-16 06:27 | crashed on start |
Badge for the README
The result of the latest probe, the tool count and the token cost. The feed has an entry for every probe that changed them.
A mail when this server changes
Stops answering, comes back, tool set or cost changes. One confirmation mail first, a stop link in every mail.
For the publisher
- The package imports FastMCP from mcp.server.fastmcp. mcp 2.0, the Python SDK of 28 July 2026, renamed FastMCP to MCPServer, and the package asks for mcp with no upper bound, so a plain install (uvx, pip) gets mcp 2.x and the server stops at the import. Installed with mcp<2, it starts and lists its tools. The fix for the publisher: pin mcp<2 in the dependencies, for example mcp>=1.2,<2, and publish a new version, or move to MCPServer as the SDK's migration guide says. Until then, run it with uvx --with 'mcp<2'.
The cause and the fix, with the code before and after: ModuleNotFoundError: No module named 'mcp.server.fastmcp'