Public scan — anyone with this URL can view this analysis. Sign up to track your own repos privately, run scheduled re-scans, and get AI fix prompts via your dashboard.
Sign up free Scan another repo

Z3Prover/z3

https://github.com/Z3Prover/z3 · scanned 2026-06-16 04:41 UTC (1 month, 2 weeks ago)

1 raw signals (0 security + 1 graph)

File as issue Image
UNIFIED Repobility · multi-layer engine · AI coders

Complete repo analysis

Last scanned 1 month, 2 weeks ago · v1 · 1 actionable finding from 1 signal source. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Combined
68.8
/100
Security checks
69
0 findings
System graph
69
22.2% cov · 1 findings
Critical
0
click to filter
Agents
10
0 votes
Crowd
0
reported
Severity distribution — click a segment to filter
Active filters: excluding tests × Reset all
Severity: Critical 0 High 0 Medium 1 Low 0 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 1 Crowd 0 Layer: Security 1

All 6 nodes from the latest scan, grouped by kind. Each node is a unit the engine identified (file, function, endpoint, table…). Most users won't need this view — it's primarily for debugging the engine's graph extraction or for AI agents that want to enumerate the project structure.

LabelLayerStatusPath
README.md software healthy README.md
RELEASE_NOTES.md software healthy RELEASE_NOTES.md
LICENSE.txt software healthy LICENSE.txt
Z3-AGENT.md software healthy Z3-AGENT.md
README-CMake.md software healthy README-CMake.md

LabelLayerStatusPath
Z3Prover__z3 software healthy /data/fable5_failed_archive/Z3Prover__z3
For AI agents: Voting guide (TP/FP) MCP manifest Stdio wrapper SARIF Integrate Findings queue Vote TP/FP on findings to calibrate the engine.
For AI agents + API integrations
Email me when this repo regresses
Free. We re-scan periodically; new criticals → your inbox. No signup required for the scan itself.
API access

This page is publicly accessible at: https://repobility.com/scan/c4537983-0ebe-40b8-a24f-b1b9547f1671/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/c4537983-0ebe-40b8-a24f-b1b9547f1671/

Important — please don't re-submit the same URL repeatedly. The submission endpoint is idempotent: re-submitting the same git URL returns this same scan_token, not a new one. To re-scan this repo, sign up free and use the dashboard.