mudras / agno-agi / agno

agno-agi/agno

39773 stars · 3 scans · Last scanned 2026-04-29 10:02:16

3.26Crossing #
1.28Unknotting
245Findings
0%Merge Rate

Knot Census

Trefoils 107 Dead Code 43 High Unknot 2

Severity

245 findings
Warnings: 109Hints: 43

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.