verified-execution

Here are 3 public repositories matching this topic...

mark-hubers / rondo

The AI that writes the code doesn't get to certify it. A different vendor does.

Updated Oct 3, 2026
Python

veraxis-protocol / LEGION-Formal-Core

Lean 4 formal model of LEGION collective execution with 52 kernel-audited proof declarations. Covers admission, authority, causality, resource conservation, recovery, and completion. Reproducible mathematical foundation for LEGION-100 and LEGION Commerce, with explicit runtime verification boundaries.

distributed-systems theorem-proving collective-intelligence formal-verification multi-agent-systems lean4 formal-verification-methods verified-execution safety-properties vccat1

Updated Nov 10, 2026
Lean

veraxis-protocol / LEGION-Commerce

Star

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

formal-verification multi-agent-systems lean4 formal-verification-methods agentic-commerce autonomous-commerce verified-execution formal-verification-engineering

Updated Nov 10, 2026
Python

Add this topic to your repo

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

Learn more