operad-task-decomposition

What problem does it solve?

This Skill provides a formal, operad-based method to decompose complex tasks into well-typed subtasks for multi-agent systems, preventing interface mismatches and unsafe delegation. It turns informal DAG sketches into wiring diagrams with explicit types so integration errors are caught statically, not at runtime.

Core Features & Use Cases

• Operad modeling: Represent tasks as operations with typed inputs and a single typed output and compose them hierarchically.
• Typed DAG design & validation: Build wiring diagrams (WinDAGs) where every edge carries a named type and the decomposition is checked for type consistency and acyclicity.
• Parallelism analysis: Identify maximal safe parallelism via the operad's monoidal product and produce wave-based composition orders for execution.
• Anti-pattern detection & guidance: Detect untyped DAGs, megaoperations, phantom types, and cycles masquerading as composition; recommend decomposition and encapsulation strategies.
• Use cases: Designing DAG topologies for agent orchestration, validating interoperability contracts between agent nodes, and creating reusable compositional workflows grounded in domain ologs.

Quick Start

Decompose the task "Implement user signup" into a typed operad with named types, operations, and composition waves.