agentmods.dev

nvlang/verso-mcp

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

Open on GitHub
1Stars on the repository
2Mods indexed here, across every type
28d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

verso

01

nvlang/verso-mcp

MCP server Claude CodeCodexCursor

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.

1 28d ago A tokens not measured original Apache-2.0