Pinned Loading

1. h5i h5i Public

   An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.

   Rust 803 74

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.

   58 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 40 3