h5i

Pinned Loading

1. h5i h5i Public

   An agent-native web security workspace. Find vulnerabilities through red-teaming. Formally verify properties of Rust codes in Lean 4.

   Rust 693 66

2. e5r e5r Public

   The Reverse Engineering Toolkit for AI Agents

   Rust 35 3

3. h5i-app-bench h5i-app-bench Public

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

   Lean 3

4. h5i-websec-bench h5i-websec-bench Public

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

   Shell

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. 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.

   55 16