Installs into .claude/skills of the current project.
Sponsors
SSkills DirectorySkills Directory
Know which skills are safe — weekly.
SSkills DirectorySkills Directory
Is that skill safe to install?
Are you the author of Self Modifying Lean Proof Agents With Verifier Gro?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/hiyenwong-self-modifying-lean-proof-agents-with-verifier-gro)
# Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution
Derived from arXiv:2607.17352 - Self-Modifying Lean Proof Agents with Verifier-Grounded Benchmark Coevolution
## Core Concept
Designing effective Lean proof agents is a central challenge in formal mathematical reasoning. Beyond building stronger provers, recent work emphasizes the workflow around Lean: how an agent decomposes proof obligations, uses tools and compiler feedback, diagnoses failures, repairs proofs, and maintains structured proof context. Motivated by code-level self-evolving agents, we study whether such workflows can be evolved rather than hand-designed. We present a self-evolving Lean proof agent in wh...
## Key Insights
- Derived from arXiv:2607.17352
- Published: 2026-07-19
- Utility Score: 1.00
- Authors: Yuqing Li, Zeguan Wu, Yu Gan et al.
## Activation
self-modifying-lean-proof-agents-with-verifier-gro, 2607.17352
## References
- arXiv: https://arxiv.org/abs/2607.17352
