← Agenten-Marktplatz
Open-Source-Projekt
h5i
von h5i-dev
Unified Rust framework for building, verifying, and testing web apps. Kernel-based architecture for Lean 4 verification and GPU acceleration. Built-in red-teaming tools for automated vulnerability detection.
Szenario:🧰Agenten-Frameworks
—Noch nicht bewertet
Deine Bewertung
Melde dich an, um zu bewerten oder zu speichern
792 SterneSelbst hosten
Skills
Ein Open-Source-Projekt — erkunde den Code und hoste es selbst von GitHub.