verso
01MCP 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