PyPI page
Home page
Author:
None
Summary:
MCP server for Verso-generated documentation sites (the Lean Language Reference, Functional Programming in Lean, and other Verso Manual-genre sites).
Latest version:
0.4.2
Required dependencies:
html2text
|
httpx
|
mcp
|
pydantic
Downloads last day:
0
Downloads last week:
6
Downloads last month:
70