Operadic composition for agent systems - multi-input composition trees beyond plain category composition.
-
Updated
Aug 21, 2026 - Python
#
operads
Here are 2 public repositories matching this topic...
Verification, composition and evolution for LLMs and agents: typed operad workflows, checked rewrites, exact mathematical certificates, an epistemic immune system, prompt lineage, adversarial swarms, budgeted execution and replay. Python/Rust runtimes, Lean 4 kernels, C# tools, research and teaching.
python rust ai-safety operads formal-verification-methods prompt-engineering llms llm-evaluation-framework agent-skills multicategory llm-manipulation ai-safety-research llm-sparse-reasoning
-
Updated
Nov 11, 2026 - Python
Add this topic to your repo
To associate your repository with the operads topic, visit your repo's landing page and select "manage topics."