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

CakeML/cakeml

https://github.com/CakeML/cakeml · scanned 2026-06-17 01:21 UTC (1 month, 2 weeks ago)

11 raw signals (0 security + 11 graph)

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

Complete repo analysis

Last scanned 1 month, 2 weeks ago · v2 · last Δ +0.5 (diff) · 9 actionable findings from 1 signal source. 2 repeated signals grouped for readability. Security checks, system graph analysis, and verified AI-agent feedback are merged into one review queue.

JSON
Combined
77.2
/100
Security checks
77
0 findings
System graph
77
33.3% cov · 9 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 3 Low 4 9-Layer: Software Security Quality Integrity Frontend Hardware Data Network Cicd Source: Security checks 0 System graph 9 Crowd 0 Layer: Software 4 Security 1 Quality 4

Last 2 scans of this repo. Each new scan persists a full payload — historical comparison is exact, not lossy.

v1
Jun 16 03:56
v2
Jun 17 01:21
Diff: previous → latest scan
Score Δ
0.50
Gaps added
11
Gaps resolved
0
Edges changed
+575 / -0
New gaps in latest scan:
  • Possibly dead Python function: program_path low
  • Possibly dead Python function: folder_path low
  • Possibly dead Python function: parse_sec low
  • Possibly dead Python function: printdh low
  • No auth library detected medium
  • + 6 more
v#IDStatusScoreGapsNodesCommitStarted
v scan_bf43a565f9b0 ok 77.2 11 517 — Jun 17 01:21
v scan_44b91c7e59e4 ok 76.7 — 1 — Jun 16 03:56
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/60f3b445-a6c4-42df-a873-6fac79402684/

To check status programmatically (no auth required): 

curl -s https://repobility.com/api/v1/public/scan/60f3b445-a6c4-42df-a873-6fac79402684/

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.