Instructions file CodexOpenCode
Instructions for epfl-lara/LeanProbe, covering agents.md, working on this repo and the bundled skill.
4 2mo ago B 1,005 tokens
original MIT
lean-probe
02Skill Claude CodeCodex
Fast Lean 4 proof verification for coding agents via the LeanProbe MCP server's warm REPL. Use when you need to know whether Lean 4 code compiles (no errors, no sorry), iterate on a declaration inside a Lake/Mathlib project, test a replacement proof candidate, or explore a goal tactic by tactic — far faster than lake…
4 2mo ago B 139 tokens
original MIT