オープンソースプロジェクト

h5i

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.

シナリオ:🧰エージェントフレームワーク

—まだ評価がありません

あなたの評価

ログインすると評価・保存できます

792 スターセルフホスト

スキル

オープンソースプロジェクトです — コードを確認し、GitHubからセルフホストできます。