PyPI page
Home page
Author:
Evgenia Karunus
Summary:
MCP server that exposes Lean proofs in the Paperproof boxes format, without installing Paperproof
Latest version:
0.2.5
Required dependencies:
fastmcp
|
leanclient
Downloads last day:
3
Downloads last week:
12
Downloads last month:
102
7-day smoothing