Pricing
Start free. Pay when the bump gets done without you.
Starter
Free during early access
- Project scan against any Mathlib release, file and line, no account needed
- Rename lookup over 17,917 deprecated names
- 3 saved projects with scan history
- 60 scans a month, shown as a usage meter
- Export everything as JSON, delete anytime
Pro
€19 a month
- Built around the unattended bump: a pull request to review, a stated result per release
- 15 projects, one ledger across them
- A larger repair allowance on the Leanbump gateway
- Public run reports stay free
Why €19: an agent that fixes your build costs $20 a month on a general subscription. Pro is for the part that agent does not give you: the bump finished while you are not there.