agentmods.dev

nvlang/verso-mcp

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

This repository also configures its own agents. See what verso-mcp tells them →

Open on GitHub

1Stars on the repository

2Mods indexed here, across every type

9d agoLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

verso

nvlang/verso-mcp

MCP server Claude CodeCodexCursor +2

MCP server for Verso-generated documentation sites (the Lean Language Reference, Functional Programming in Lean, and other Verso Manual-genre sites). Runs locally from the verso-mcp Python package. Needs 1 environment variable to run.

not rated 1 9d ago A tokens not measured original Apache-2.0