valvesoftware/proton vs z3prover/z3
z3prover/z3 shows stronger signals overall
As of June 2026, z3 shows healthier maintenance signals than proton. z3 rates Healthy overall while proton rates Mixed. proton last saw a commit 1 month ago with 12+ active contributors, while z3 last saw a commit 1 month ago with 9+ active contributors. Both use the Other license. Neither has known critical or high-severity CVEs in its dependency tree.
Informational only. RepoPilot summarises public signals at the time of analysis. Not professional, security, or legal advice.
valvesoftware/proton →
Mixed signals — read the receipts
non-standard license (Other); no tests detected…
Has a license, tests, and CI — clean foundation to fork and modify.
Documented and popular — useful reference codebase to read through.
No critical CVEs, sane security posture — runnable as-is.
- ⚠Non-standard license (Other) — review terms
- ⚠No CI workflows detected
- ⚠No test directory detected
- ✓Last commit today
- ✓12 active contributors
- ✓Distributed ownership (top contributor 36% of recent commits)
- ✓Other licensed
What would improve this?
- →Use as dependency Concerns → Mixed if: clarify license terms
Computed from maintenance signals — commit recency, contributor breadth, bus factor, license, CI, tests
z3prover/z3 →
Healthy across the board
non-standard license (Other)
Has a license, tests, and CI — clean foundation to fork and modify.
Documented and popular — useful reference codebase to read through.
No critical CVEs, sane security posture — runnable as-is.
- ⚠Non-standard license (Other) — review terms
- ✓Last commit 1d ago
- ✓9 active contributors
- ✓Distributed ownership (top contributor 28% of recent commits)
- ✓Other licensed
- ✓CI configured
- ✓Tests present
What would improve this?
- →Use as dependency Concerns → Mixed if: clarify license terms
Computed from maintenance signals — commit recency, contributor breadth, bus factor, license, CI, tests
Signal-by-signal breakdown
| proton | z3 | |
|---|---|---|
| Stars | 31,365 | 12,230 |
| Last commit | 1mo ago | 1mo ago |
| License | Other | Other |
| Open issues | 5,073 | 166 |
| Has tests | — | ✓ |
| Has CI | — | ✓ |
| Test coverage | 0% | 5% |
| Dependency CVEs | No CVEs | No CVEs |
| Architecture grade | — | — |
| Cycles | — | — |
| Bottom-line | Mixed signals | Healthy signals |
Want the full analysis? valvesoftware/proton · z3prover/z3
Ask AI about valvesoftware/proton vs z3prover/z3
Open the chat with a comparison question pre-filled.