» Tag
repositories
2 postsVero: Can AI Agents Build Formally Verified Software Repositories?
Vero benchmarks AI agents' capabilities in joint implementation and proof synthesis for software repositories.
26 Repos in 29 Days: Insights from an AI Pipeline
Exploring structural failures and lessons learned from an AI pipeline that produced 26 repositories and 1,549 commits in 29 days.
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com