📦

io.github.nvlang/verso

Name: io.github.nvlang/verso
Rating: 1.9 (1 reviews)

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

0 installs

Trust: 37 — Low

Docs

Ask AI about io.github.nvlang/verso

Powered by Claude · Grounded in docs

I know everything about io.github.nvlang/verso. Ask me about installation, configuration, usage, or troubleshooting.

0/500

Documentation

No README available