1
Published Tools
6
Total Stars
0
Weekly Downloads
47
GitHub Followers
109
Public Repos
Published Tools
1 MCP Serveracross 1 categoryepfl-lara
Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
...moreMCP Serveruncategorised
61 dir