Skip to content
#

multicategory

Here are 2 public repositories matching this topic...

Language: All
Filter by language

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.

  • Updated Nov 11, 2026
  • Python

Add this topic to your repo

To associate your repository with the multicategory topic, visit your repo's landing page and select "manage topics."

Learn more