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 3w ago
epfl-lara
0
0