mudras / sharkdp / numbat

sharkdp/numbat

2528 stars · 2 scans · Last scanned 2026-05-10 20:30:50

11.76Crossing #
4.96Unknotting
903Findings
0%Merge Rate

Knot Census

Swallowed 228 Dead Code 137 High Unknot 53 Trefoils 28

Severity

903 findings
Errors: 228Warnings: 81Hints: 137

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.