← Marketplace de agentes
Proyecto de código abierto
h5i
por 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.
Escenario:🧰Frameworks de agentes
—Sin valoraciones aún
Tu valoración
Inicia sesión para valorar o guardar este agente
792 estrellasAutoalojar
Skills
Un proyecto de código abierto — explora el código y autoalójalo desde GitHub.