Hibana
choreography-first protocol safety for Rust
Details
- External ID
- 46922840
- Source
- HN
- Company
- —
- Product
- Hibana
- Website domain
- hibanaworks.dev
- Launched
- Feb. 7, 2026
- Cohort
- —
- Upvotes
- 5
- Upvotes percentile
- 0.10512129380053908
- Tags
- —
- Fetched at
- Sept. 7, 2026, 9:26 p.m.
- Updated at
- Sept. 7, 2026, 9:26 p.m.
Description
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
Enrichment
- Theme
- AI agent frameworks and developer tools
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- protocol safety for rust
- Manually corrected
- False
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 — 103 launches clear the similarity bar, closest 8 shown.
Attention rank: #101 of 104 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 95 days after the earliest competitor.
- Running local OpenClaw together with remote agents in an open network · hn · 2026-04-04 · 8 upvotes · similarity 0.48
- Herd · hn · 2026-03-25 · 6 upvotes · similarity 0.41
- AgentLog · hn · 2026-03-13 · 9 upvotes · similarity 0.40
- Running AI agents across environments needs a proper solution · hn · 2026-03-24 · 8 upvotes · similarity 0.40
- I built an open-source Rust/TS AI agent runtime with a Next.js-style DX · hn · 2025-12-02 · 5 upvotes · similarity 0.39
- Aura · hn · 2026-09-02 · 27 upvotes · similarity 0.37
- Agentwall · ph · 2026-09-09 · 2 upvotes · similarity 0.37
- ClawShell, Process-Level Isolation for OpenClaw Credentials · hn · 2026-02-19 · 10 upvotes · similarity 0.37
Other launches for this product
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.