GeezerVison

Pinned Loading

1. h5i h5i Public

   An Axum-based Rust web framework with Lean 4-verifiable application kernels that run on servers, bare-metal embedded devices, and GPUs, plus integrated security testing.

   Rust 916 80

2. e5r e5r Public

   Assembly-Level Formal Verification with Lean 4

   Rust 41 3

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

   Can a web backend be proved correct and still be fast?

   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 2 1

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

   60 24

6. MiniLean4 MiniLean4 Public

   A minimal, self-contained implementation of a Lean 4-style theorem prover kernel in Rust.

   Rust 27 5

This organization has no public members. You must be a member to see who’s a part of this organization.