verso
io.github.nvlang/verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
Description as published in the official MCP registry.
What we measured
| Endpoint | None listed (runs locally) | registry |
|---|---|---|
| GitHub stars | 1 | github.com/nvlang/verso-mcp |
| Last push | 2026-10-01 | GitHub API |
| Licence | Apache-2.0 | GitHub API |
| Registry version | 0.4.2 · active · updated 2026-05-18 | registry |
| Package | pypi: verso-mcp | registry |
Signed reports
No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows a real call went through, not just an opinion. How to file one.
Related servers
- Solana Cleanup Read-only Solana and crypto reserve-recovery scans, pricing, chain facts, and methodology.
- Conversor IAE-CNAE The first fiscal MCP server for Spain: IAE/CNAE 2025, AEAT modelos, IRPF/IVA, RETA quota.
- jolt-transform-web An MCP server that provides bazaarvoic JOLT transformation capabilities.
- Tracepay Read-only payment state for USDC on Base/Solana (Bridge, Circle): completed, failed, or…
- eleata Claim Verifier Grounding/hallucination guard: verify a claim against evidence (Supported/Refuted/NEE).
- costwright — agent budget analysis Static worst-case token-budget analysis for LLM-agent workflows + signed budget…
Badge for your README
Shows the result of our latest check and links back to this page.
[](https://openforallofus.com/tools/io.github.nvlang/verso)Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name io.github.nvlang/verso.