01Supports multi-agent connections to a single instance via HTTP Server-Sent Events (SSE) for real-time communication.
02Contract-based verification for single agents, defining tasks, evidence, and operational bounds.
03Orchestrates multi-agent pipelines as directed acyclic graphs (DAGs), allowing stages to run in dependency order with artifact passing.
040 GitHub stars
05Enables orchestrator agents to decompose high-level goals into sub-contracts for worker agents with enforced limits on depth, sub-contracts, and cost.
06Maintains an append-only audit log, recording every state transition and verification for compliance and debugging.