mudras / huggingface / text-generation-inference

huggingface/text-generation-inference

10842 stars · 1 scan · Last scanned 2026-04-19 08:01:52

4.55Crossing #
2.76Unknotting
1324Findings
0%Merge Rate

Knot Census

Dead Code 394 Trefoils 235 High Unknot 44 Swallowed 15 Broken Mirror 1 Clones 1

Severity

1324 findings
Errors: 15Warnings: 281Hints: 394

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.