← Marketplace de agentes
Projeto open-source
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.
Cenário:🧰Frameworks de agentes
—Ainda sem avaliações
Sua avaliação
Entre para avaliar ou salvar este agente
792 estrelasSelf-hosting
Skills
Um projeto open-source — explore o código e faça o self-hosting a partir do GitHub.