EasyProver

A formal verification system based on a recursive agent and the Lean theorem prover. It searches for proofs in parallel through agents with isolated contexts and achieves a high verification pass rate without training a dedicated model.