MCP Server
3
Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
Python MIT Updated 1mo ago
epfl-lara
0
0