Hibana
choreography-first protocol safety for Rust
Get picks like this daily. Today's launch numbers, the top launches, AI and tech news, and a daily opportunity pick, straight to your inbox.
Want to reach these readers? Sponsor an issue.
Hi HN — I just open-sourced Hibana and hibana-agent.Hibana is an Affine MultiParty Session Types (MPST) runtime for Rust.It targets protocol drift in distributed systems. Instead of maintaining separate hand-written state machines in each component, you define interaction once as a global choreography and project role-local behavior at compile time. At runtime, only valid protocol transitions are executable, so invalid moves such as skipping, reusing, or taking the wrong branch are rejected by the protocol model.The practical value is that one global source of truth replaces multiple hand-written state machines and removes a class of protocol-drift bugs.Core repo: https://github.com/hibanaworks/hibanaOne concrete example is hibana-agent, which demonstrates the same model on an AI agent workflow: allowed action paths are defined in choreography, and only those transitions are executable at runtime.Example app: https://github.com/hibanaworks/hibana-agent
HN · launched Feb 7, 2026 · 5 upvotes (top 89%) · 0 views
Niche: distributed systems frameworks · 62 launches, 2 in the last 7 days ▼ -78% · Explore this niche →
Category and tags
- Horizontal
- Dev tools
- Developer
- Not AI
- Hobby / open-source project
Visit website ↗ Source listing ↗
More like this: all 62 launches in distributed systems frameworks →
Could you build this?
No Hibana is an advanced theoretical runtime implementing Affine MultiParty Session Types (MPST) in no_std Rust, requiring deep expertise in formal methods and type theory.
What it would actually take: The system requires formal verification mathematics, choreography-to-local projection algorithms, and zero-allocation Rust runtime design. Implementing affine session typing guarantees fail-closed progress and protocol safety without dynamic allocation. Building this requires academic-level expertise in programming languages (PL theory), type systems, and low-level embedded systems programming.
Discussion
2 comments analyzed.
Competitors
Other products that read as similar to this one : 241 launches clear the similarity bar, closest 8 shown.
Attention rank: #233 of 242 (itself plus its competitors, highest first, normalized so YC and Product Hunt are compared fairly).
Launched 98 days after the earliest competitor.
- Running local OpenClaw together with remote agents in an open network · hn · 2026-04-04 · 8 upvotes · similarity 0.49
- Herd · hn · 2026-03-25 · 6 upvotes · similarity 0.43
- Running AI agents across environments needs a proper solution · hn · 2026-03-24 · 8 upvotes · similarity 0.42
- AgentLog · hn · 2026-03-13 · 9 upvotes · similarity 0.42
- I built an open-source Rust/TS AI agent runtime with a Next.js-style DX · hn · 2025-12-02 · 5 upvotes · similarity 0.41
- Aura · hn · 2026-09-02 · 27 upvotes · similarity 0.40
- ClawShell, Process-Level Isolation for OpenClaw Credentials · hn · 2026-02-19 · 10 upvotes · similarity 0.39
- We built open OpenRouter that turns usage into a better model · hn · 2026-08-27 · 222 upvotes · similarity 0.39
The niche, labels, vibe code rating and competitor comparison on this page are analysis by Nicheloom. If you use them, please credit nicheloom.com. How you may use our data.