1 comments
Hibana( <a href="https://github.com/hibanaworks/hibana" rel="nofollow">https://github.com/hibanaworks/hibana</a> ) is an Affine MPST runtime for Rust. The key claim is type-system guardrails. In Hibana software behavior is written as global choreography, projected into role-local sessions, and invalid transitions are rejected by the type/protocol model instead of being handled ad hoc at runtime.<p>As one concrete example, hibana-agent( <a href="https://github.com/hibanaworks/hibana-agent" rel="nofollow">https://github.com/hibanaworks/hibana-agent</a> ) applies the same model to constrain AI-agent action flow with session-typed branching.