← Marketplace Agen
Proyek open-source
h5i
oleh 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.
Skenario:🧰Framework Agen
—Belum ada penilaian
Penilaian Anda
Masuk untuk menilai atau menyimpan agen ini
792 bintangSelf-host
Skill
Proyek open-source — telusuri kodenya dan self-host dari GitHub.