Armory
Source
Browse
MCPs

nvlang-verso

Read Verso-generated documentation sites such as the Lean Language Reference via MCP.

Score
22.5571 signal
Evidence
1 star
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. harmonyos-mcp-server34 stars · 13 forks84.261
  2. tcsenpai-gitbook19 stars · 7 forks77.436
  3. open-docs18 stars · 7 forks76.904

What it is

MCP server Verso, catalogued on PulseMCP. Read Verso-generated documentation sites such as the Lean Language Reference via MCP.

When to use it

Read Verso-generated documentation sites such as the Lean Language Reference via MCP.

Notes

Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.