About
ZipperGen is a Python DSL and runtime for structured multi-agent LLM coordination, grounded in the theory of Message Sequence Charts. You write a single global protocol; ZipperGen projects it onto each agent and runs them concurrently, with deadlock-freedom guaranteed by construction.
The project accompanies the forthcoming paper Provable Coordination for LLM Agents via Message Sequence Charts.