mudras / commaai / openpilot

commaai/openpilot

60740 stars · 2 scans · Last scanned 2026-04-28 14:03:15

6.88Crossing #
6.77Unknotting
277Findings
0%Merge Rate

Knot Census

Dead Code 105 Trefoils 39 High Unknot 14 Swallowed 3 Leaks 1

Severity

277 findings
Errors: 4Warnings: 53Hints: 105

Accuracy

85% confidence
0 TP · 0 FP
File-level complexity, hotspot map, and coupling graph available with Pro ($199/mo) or a repo report ($49). Backed by 6,544 mechanized Lean 4 theorems.