mudras / caddyserver / certmagic

caddyserver/certmagic

5533 stars · 2 scans · Last scanned 2026-04-19 16:08:39

9.01Crossing #
12.43Unknotting
518Findings
0%Merge Rate

Knot Census

Trefoils 164 High Unknot 66 Dead Code 20 No Default 15 Clones 1 Swallowed 1

Severity

518 findings
Errors: 16Warnings: 231Hints: 20

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.