Pinned Loading

1. LEGION LEGION Public

   LEGION-100: Verified multi-agent execution infrastructure | 100 agents, 13 executable worlds, CAGE + ZTL + VEIP, independent Judge and Verified Collective Completion VCC@1

   Python 2

2. LEGION-Commerce LEGION-Commerce Public

   Verified agentic commerce powered by LEGION Core. Enables autonomous AI collectives to negotiate, authorize, and execute commercial transactions through PayPal, with formal admissibility controls, …

   Python

3. LEGION-Federation LEGION-Federation Public

   Open-source infrastructure connecting independent AI agent collectives. Enables secure discovery, controlled information sharing, multi-party negotiation, verifiable contracts, and coordinated exec…

   Python 1

4. LEGION-Formal-Core LEGION-Formal-Core Public

   Lean 4 formal model of LEGION collective execution with 52 kernel-audited proof declarations. Covers admission, authority, causality, resource conservation, recovery, and completion. Reproducible m…

   Lean 1

5. LEGION-Marketplace LEGION-Marketplace Public

   An AI-native economic network where independent collectives of 100 agents discover opportunities, connect buyers and suppliers, negotiate contracts, create new products, and execute verified commer…

   Python

6. LEGION-Deal-Rescue LEGION-Deal-Rescue Public

   Python