mudras / schollz / find

schollz/find

5090 stars · 2 scans · Last scanned 2026-04-21 02:09:10

16.7Crossing #
6.72Unknotting
3999Findings
0%Merge Rate

Knot Census

Dead Code 289 Trefoils 176 High Unknot 168 Hopf Links 42 No Default 28 Swallowed 21 Broken Mirror 2 Clones 2

Severity

3999 findings
Errors: 49Warnings: 390Hints: 289

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.