PyPI page
Author:
Oliver Dressler
Summary:
Lean Theorem Prover MCP
Latest version:
0.33.0
Required dependencies:
certifi
|
leanclient
|
mcp
|
orjson
|
psutil
Optional dependencies:
anyio
|
pytest
|
pytest-asyncio
|
pytest-timeout
|
pyyaml
|
ruff
|
ty
Downloads last day:
2,735
Downloads last week:
14,692
Downloads last month:
730,424
7-day smoothing