A collaboration with Proof · 1 public repo per week

Are you an open source maintainer? We can help your project.

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.

Academic Projects good first issues

290 open issues currently match Academic Projects with the default 10+ star filter. This is the homepage feed limited to repositories tagged Academic Projects.

All issues · Browse projects · How to find good first issues

Active filters:Stars: 10+ Stars • Category: Academic Projects
Filters trigger API requests for better performance

Showing 0 of 290 opportunities to contribute

Also browsing: Software Development , AI/ML , Uncategorized