Contributor Matchmaker
Best Lean Repos to Contribute To
Matched to your experience level using real merge rates, maintainer response times, and first-PR success data.
68% matchB Tier
lfglabs-dev/verity
Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.
- Active in the last month
- Merges 98% of outside pull requests
66% matchS Tier
dwrensha/compfiles
Catalog Of Math Problems Formalized In Lean
- Active in the last month
- Merges 90% of outside pull requests
Unlock 12+ More Lean Opportunities
Sign in with GitHub to view personalized matches, your Contributor Fit Radar, and weekly digest alerts.