Unified Rust framework for building, verifying, and testing web apps. Kernel-based architecture for Lean 4 verification and GPU acceleration. Built-in red-teaming tools for automated vulnerability detection.
Last commit October 19, 2026, 27 days ago.
788 GitHub stars and 0 Honeystax upvotes. Copy the install, test the workflow, then decide if it earns a permanent slot.
Reasonable to try, but it will take more than a quick skim to get real signal.
Starts at 6. Added: GitHub health 62/100 +8, no security policy +8, no code of conduct +3.
AI Agent
Universal
Model
Multiple
No direct local install flow.
Open the project page, steal the pattern, and decide fast if it deserves a deeper test.
h5i is listed on Honeystax as an App for Universal, since July 12, 2026. Its code is at github.com/h5i-dev/h5i, with 788 GitHub stars and 31 open issues. Last commit October 19, 2026, 27 days ago. GitHub's community health check gives it 62 out of 100.
Source: GitHub repository
Source check: October 19, 2026
Upstream commit: October 19, 2026
Repository state: Not marked archived
Honeystax upvotes are community interest signals, not star ratings. GitHub stars and repository health are source measurements; editorial risk and trial-cost notes are Honeystax analysis.