PyPI page
Author:
N. V. Lang
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:
7
Downloads last week:
20
Downloads last month:
66
7-day smoothing