# epfl-lara

> Open-source publisher. Listings imported from github.com/epfl-lara — credited to the original author with their license.

- **Listings:** 1
- **Total installs:** 0
- **Profile:** https://agentstack.voostack.com/s/epfl-lara
- **Website:** https://github.com/epfl-lara

## Published listings

- [LeanProbe](https://agentstack.voostack.com/l/mcp-epfl-lara-leanprobe) — MCP server · Free · security-reviewed — `agentstack add mcp-epfl-lara-leanprobe`
  Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

---
Seller on AgentStack — the marketplace for AI agent skills and MCP servers. Every listing is security-reviewed. Install any with `agentstack add <slug>`.