Open Issues Need Help
View All on GitHub engine: assemble_module's 'failed to compile fragments for variables' names a variable once per runlist it is in (module-argument helpers listed twice) about 3 hours ago
bug good first issue engine
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.