2 packages found
Save thousands of lines of code by building universal, domain-agnostic Multi-Agent Systems (MAS) through high-level sema
Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.