Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
Latest release v0.4.0 — LeanProbe 0.4.0 · 26 Jun 2026
1 file for Codex and OpenCode: LeanProbe AGENTS.md — 1,005 tokens loaded in every session.
AGENTS.md B 1,005 tok These files are epfl-lara/LeanProbe's own configuration — they tell Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.