mudras / microsoft / TRELLIS

microsoft/TRELLIS

12480 stars · 2 scans · Last scanned 2026-05-08 12:00:52

4.85Crossing #
4.2Unknotting
551Findings
0%Merge Rate

Knot Census

Trefoils 166 Dead Code 117 High Unknot 18 Swallowed 10 Clones 1

Severity

551 findings
Errors: 10Warnings: 185Hints: 117

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.