Skip to content
@h5i-dev

h5i

Axum-based Rust web framework designed for formal verification with Lean 4

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

Repositories

Showing 10 of 20 repositories
  • Leanputer Public
    h5i-dev/Leanputer's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Nov 13, 2026
  • 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.

    h5i-dev/h5i's past year of commit activity
    Rust 922 Apache-2.0 80 4 (3 issues need help) 1 Updated Nov 13, 2026
  • opnote Public
    h5i-dev/opnote's past year of commit activity
    0 Apache-2.0 0 0 0 Updated Nov 13, 2026
  • 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.

    h5i-dev/senv's past year of commit activity
    Rust 43 Apache-2.0 5 0 0 Updated Nov 10, 2026
  • e5r Public

    Assembly-Level Formal Verification with Lean 4

    h5i-dev/e5r's past year of commit activity
    Rust 41 Apache-2.0 3 0 0 Updated Nov 9, 2026
  • h5i-app-bench Public

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

    h5i-dev/h5i-app-bench's past year of commit activity
    Lean 3 Apache-2.0 0 0 0 Updated Nov 7, 2026
  • MiniLean4 Public

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

    h5i-dev/MiniLean4's past year of commit activity
    Rust 27 Apache-2.0 5 0 0 Updated Nov 7, 2026
  • h5i-pay Public

    High-performance payment infrastructure with GPU acceleration and Lean 4 formal verification.

    h5i-dev/h5i-pay's past year of commit activity
    Lean 2 Apache-2.0 0 0 0 Updated Nov 4, 2026
  • h5i-ai-gateway Public

    A Rust reimplementation of LiteLLM built with h5i-app. 40x faster, 65x less memory, and formally verified core logic with Lean 4.

    h5i-dev/h5i-ai-gateway's past year of commit activity
    Rust 3 Apache-2.0 0 0 0 Updated Nov 2, 2026
  • awesome-ai-agent-incidents Public

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

    h5i-dev/awesome-ai-agent-incidents's past year of commit activity
    60 MIT 24 0 12 Updated Oct 29, 2026
View all repositories

People

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