mudras / pbatard / rufus

pbatard/rufus

35727 stars · 1 scan · Last scanned 2026-04-27 22:33:53

4.56Crossing #
2.22Unknotting
1294Findings
0%Merge Rate

Knot Census

Dead Code 459 Trefoils 418 No Default 24

Severity

1294 findings
Errors: 24Warnings: 418Hints: 459

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.