MCP servers by epfl-lara

epfl-lara publishes 1 live MCP servers on GitHub. Listed by trust score; the score reflects each repository's own health, security checks, and documentation.

live servers

avg trust

most stars

LeanProbe

epfl-lara

Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

★ 5updated 4 days ago