mudras / facebook / dns

facebook/dns

294 stars · 2 scans · Last scanned 2026-06-01 00:36:14

6.42Crossing #
8.07Unknotting
388Findings
0%Merge Rate

Knot Census

Trefoils 53 High Unknot 48 Broken Mirror 46 Dead Code 29 No Default 13 Leaks 1

Severity

388 findings
Errors: 14Warnings: 147Hints: 29

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.