1 listing · 0 installs
Open-source publisher. Listings imported from github.com/epfl-lara — credited to the original author with their license.
mcp-epfl-lara-leanprobe · by epfl-lara
Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
