h5i is a Rust web framework built on Axum that brings formal verification with Lean 4 into everyday web development, alongside integrated red-teaming and CI/CD tools. It's designed for Rust developers and teams building AI-generated or security-critical applications. As AI makes coding faster, ensuring correctness becomes increasingly important. h5i helps developers prove critical properties and discover vulnerabilities that traditional testing alone might miss.
Multi-agent coding is more than launching agents or letting them chat. h5i-python lets you program the full development process in Python: Claude Code, Codex, and other runtimes can implement independently, review one another, revise, run neutral tests, compete, and safely apply the winner. Each agent works in an isolated Git worktree, making every run reproducible and auditable. Open source, with 40 multi-agent LLM paper workflows included.
h5i is an open-source Git sidecar for AI-era development, achieving auditable sandbox, prompt-aware commits, 95% less token waste, 3.5x richer PR brief, 1.8x faster multi-agent real-time conversation. Git records what changed; h5i records the rest: the prompt, model, files read, reasoning, tests, audit signals, sandbox events, and agent-to-agent handoffs behind every change.
