Z3Prover /
z3
C++, 12,869 stars, branch master View on GitHub
Incomplete scan. The scan hit a limit on this repository, so only the newest months are trustworthy. Older months, if shown, may be missing commits.
58.7%
of 2,887 commits carry an AI agent’s signature, Oct 2025 to Nov 2026.
Left out: 170 automation commits and 166 merge commits. Scanned Nov 5, 2026.
Month by month
Human commits below, AI commits above.
Nov 202637 commits26 by AI70.3% AI share
Human commitsAI commits
| Month | All commits | AI commits | AI share |
|---|---|---|---|
| 2025-10 | 14 | 3 | 21.4% |
| 2025-11 | 85 | 3 | 3.5% |
| 2025-12 | 75 | 11 | 14.7% |
| 2026-01 | 241 | 147 | 61.0% |
| 2026-02 | 1031 | 565 | 54.8% |
| 2026-03 | 155 | 116 | 74.8% |
| 2026-04 | 58 | 28 | 48.3% |
| 2026-05 | 83 | 33 | 39.8% |
| 2026-06 | 154 | 70 | 45.5% |
| 2026-07 | 218 | 125 | 57.3% |
| 2026-08 | 214 | 149 | 69.6% |
| 2026-09 | 131 | 99 | 75.6% |
| 2026-10 | 391 | 319 | 81.6% |
| 2026-11 | 37 | 26 | 70.3% |
Which signatures matched
A commit that matches two rules is counted under both, so rows can add up to more than the AI total.
| Rule | Tool | Relative size | Commits |
|---|---|---|---|
| copilot_trailer | GitHub Copilot | 1,166 | |
| copilot_author | GitHub Copilot | 1,103 | |
| claude_trailer | Claude | 89 | |
| claude_generated | Claude | 77 |
Badge for this README
Updates itself; GitHub caches it for a day.
[](https://ghostwritten.vercel.app/r/Z3Prover/z3)
The same numbers as JSON: /api/repo/Z3Prover/z3