A collaboration with Proof · 1 public repo per week
Completely free for open source repositories.
Proof turns your repository into a graph of requirements that humans and agents can both use. It finds as many bugs as it can, and gives you the tools to triage GitHub issues and pull requests from contributors — including community bug reports and security reports.
24 open Cairo issues currently match the default 10+ star filter. Scored difficulty: 5,947 at 1/5, 8,791 at 2/5, 12,710 at 3/5, 12,148 at 4/5, 859 at 5/5. This hub uses the same feed as the homepage, limited to repositories whose GitHub language is Cairo.
All languages · Browse projects · How to find good first issues
Showing 2 of 24 opportunities to contribute from the last 382 days
Cairo Smart Contracts @ Mediolano - intellectual property provider for the integrity web. Powered on Starknet.
Also browsing: Python , TypeScript , JavaScript
