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.
61% matchA Tier
dwrensha/compfiles
Catalog Of Math Problems Formalized In Lean
- Active in the last month
- Merges 91% of outside pull requests
60% matchA Tier
Verified-zkEVM/VCVio
A Lean library for machine-checked cryptographic proofs.
- Active in the last month
Unlock 12+ More Lean Opportunities
Sign in with GitHub to view personalized matches, your Contributor Fit Radar, and weekly digest alerts.