h5i

Pinned Loading

1. h5i h5i Public

   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 …

   Rust 788 75

2. h5i-app-bench h5i-app-bench Public

   Can AI agents formally verify real-world Rust soure codes with Lean4?

   Lean 3

3. h5i-websec-bench h5i-websec-bench Public

   Worked solutions to public pentesting corpora using h5i and a general-purpose AI agent.

   Shell 2

4. awesome-ai-agent-incidents awesome-ai-agent-incidents Public

   A curated corpus of incidents, attack vectors, failure modes, and defensive tools for autonomous AI agents.

   57 17

5. senv senv Public

   Sandboxed Python environments with the uv workflow. Registry-only installs, read-only dependencies, and deny-by-default networking. Local-first. No SaaS account required.

   Rust 43 5

6. e5r e5r Public

   The Reverse Engineering Toolkit for AI Agents

   Rust 39 3