â Marketplace des agents
Projet open source
h5i
par 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.
ScĂ©nario :đ§°Frameworks d'agents
âPas encore notĂ©
Votre note
Connectez-vous pour noter ou enregistrer cet agent
792 étoilesAuto-héberger
Skills
Un projet open source â explorez le code et auto-hĂ©bergez-le depuis GitHub.