GPTsApp MCP
Menu

Find · understand · set up

MCP servers in io.github.nvlang

Find the right publisher and setup for your task.

Client, authentication & cost requirements

Unknown information does not satisfy a hard requirement. Local execution does not mean offline or free.

This is the last qualified snapshot, observed 2026-09-08. Source updates are not currently confirmed. Existing results remain available.

1 matching servers

Documented setup first

verso

Registry listed
io.github.nvlang/verso

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

Local processSetup requirements unknownObserved 2026-09-08

Browse source-listed entries

View requirements