PyPI page
Home page
Author:
None
Summary:
Lean Theorem Prover MCP
Latest version:
0.26.2
Required dependencies:
certifi
|
leanclient
|
mcp
|
orjson
Optional dependencies:
anyio
|
pytest
|
pytest-asyncio
|
pytest-timeout
|
pyyaml
|
ruff
Downloads last day:
49,521
Downloads last week:
69,376
Downloads last month:
108,365