← MCPLookup
Packageactivev0.4.2

io.github.nvlang/verso

io.github.nvlang/verso

MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).

No blockers found

assessed on 1 of 4 dimensions

  • ProvenanceOrigin linked to a public source repository.Official MCP Registry · as of May 18, 2026
    Pass
  • MaintenanceRepository maintenance signals not yet ingested.
    Pending
  • Manifest integrityLive manifest not yet captured — the rug-pull baseline begins at first probe.
    Pending
  • Supply chainPackage vulnerability scan not yet run.
    Pending
  • Behavioral trustNo live endpoint to observe.
    Not applicable

Connect

pypi package
uvx verso-mcp

Requires VERSO_MCP_SITES.

Provenance

  • Official MCP Registry · as of May 18, 2026 · registry-tos

Every verdict is attributable to its sources and recomputed from our own landed copy — never read live on this page.