← Marketplace degli agenti
Progetto open-source
h5i
di 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.
Scenario:🧰Framework per agenti
—Non ancora valutato
La tua valutazione
Accedi per valutare o salvare questo agente
792 stelleSelf-host
Skill
Un progetto open-source — esplora il codice e fai il self-host da GitHub.