lean-agent
github.com/savarin/lean-agent- Category
- Developer Tools
- Rank
- No. 2885Tools index
- Pricing
- Open Source
- Type
- TOOL
- GitHub
- 2 stars
- Date
About
lean-agent is a CLI tool that scans a codebase for assumptions the code makes but doesn't enforce, then automatically adds type constraints and validation to close the gaps, scoring progress with an Invariant Enforcement Score (IES) that iterates until it plateaus. It runs the project's tests every iteration, discards failing attempts, and leaves a branch for review, with a score-gate command usable in CI.
Why it made the leaderboard
Gives teams a measurable, CI-enforceable signal for whether an agent actually removed hidden assumptions from code instead of just claiming to have fixed something.
Tags
code-qualitystatic-analysisclipythoncode-review
Tech Stack
Python
Comments (0)
No comments yet
Editorially curated, with community endorsements as a secondary signal. Corrections welcome.