Review economics
Z3Prover/z3
Read from the 100 most recently merged pull requests ·
Pull requests with attributed agent authorship took 1.0× the commits after first review of the rest.
≥33%
Attributed
a floor
75
Attributed PRs
25
Other PRs
100
Read
Attributed — the latest 5
#10411 Reject declarations that clash with built-in signatures
0 reviews · 5h to merge
#10414 Enable cross-workflow artifact access for Clang-Tidy Warning Fixer
0 reviews · 2h to merge
#10415 Add readable seq_monadic state display
0 reviews · 1h to merge
#10389 Monadic refine
0 reviews · 22h to merge
#10412 opt: don't stop the search on a stalled delta-rational objective
0 reviews · 0h to merge
The rest — the latest 5
#10362 guard_set: wrap rp_cache into guard_set_cache class
0 reviews · 0h to merge
#10345 Fix uses of gnu anonymous structs.
0 reviews · 2h to merge
#10332 Disable "-Wnoctad-maybe-unsupported", add and fix "-Wdeprecated-copy-with-user-provided-copy".
0 reviews · 5h to merge
#10330 Add seq monadic benchmark harness
0 reviews · 0h to merge
#10329 Fix constant element lifetime in seq monadic decomposition
0 reviews · 1h to merge
How this was measured
33% of merged commits carry agent attribution — a floor, not the share; tools that only complete code inline leave no commit trail, so the unattributed side includes AI-assisted work; reads 100 of 2413 merged PRs — the rest have not been analyzed yet.
Detected: GitHub Copilot coding agent.
“Attributed” means a commit carried an agent’s signature — a co-author trailer, an agent commit identity, or an agent bot account. Tools that only complete code inline leave no such mark, so the other column is “rest”, not “human-written”. Full method and its limits
The badge reads this repo’s current report, so it follows the number.
Tell me when this moves
We re-read Z3Prover/z3 weekly and email only when the number changes materially.
Read your own repos
This one is public. For a private repo, run the same read locally through your own GitHub credentials — nothing is installed and nothing is sent to us.
npx @ambera/review-taxWant this continuously on Z3Prover/z3 — each pull request paired to the task it came from, and the work graded from its review loop rather than its diff size? Claim this repo in Forge
Browse every repo people have read · Read a different repository