epfl-lara/LeanProbe
View on GitHub ↗Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
4 ★0 forksPythonUpdated 2mo ago
Topics
clicoding-agentsleanlean-proverlean4leaninteractmathlibmcpmcp-servermodel-context-protocolproof-assistantpythontheorem-proving
- Stars
- 4★
- Forks
- 0
- Language
- Python
- License
- MIT
- Created
- 2026-05-13
- Last push
- 2026-06-27