mudras / chubin / cheat.sh

chubin/cheat.sh

41162 stars · 1 scan · Last scanned 2026-03-29 18:00:46

12.71Crossing #
10.36Unknotting
526Findings
0%Merge Rate

Knot Census

Dead Code 221 Trefoils 105 High Unknot 26 Swallowed 2

Severity

526 findings
Errors: 2Warnings: 131Hints: 221

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.