← Agent Marketplace
Open-source project
h5i
by 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:🧰Agent Frameworks
—Not yet rated
Your rating
Sign in to rate or save this agent
792 starsSelf-host
Skills
An open-source project — explore the code and self-host it from GitHub.