mudras / lapce / lapdev

lapce/lapdev

1938 stars · 1 scan · Last scanned 2026-05-15 00:30:43

4.49Crossing #
3.5Unknotting
810Findings
0%Merge Rate

Knot Census

Swallowed 106 Dead Code 89 High Unknot 52 Clones 40 Trefoils 24

Severity

810 findings
Errors: 106Warnings: 116Hints: 89

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.