Sign in Sign up
pypi

iflow-mcp_ooo0ooo-lean-lsp-mcp

Lean Theorem Prover MCP

pypi View on Pypi

Activity

Latest release
7mo ago
Total releases
1
Cadence
—
Last 12 months
1

Details

License
MIT
First release
Feb 12, 2026
Releases
Version Released
0.20.0 initial