Public proof surface of the ACE doctrine: bounded briefs with code-generated, inspectable receipts.
-
Updated
Aug 25, 2026 - Python
#
proof-driven
Here are 2 public repositories matching this topic...
Local, Wire-first, proof-driven orchestration for Kimi CLI: scheduler-backed teams, verification gates, run timelines, and proof reports.
rust cli multi-agent developer-tools software-engineering autonomous-agents ai-agents kimi wire-protocol local-first goal-driven agent-orchestration kimi-cli proof-driven
-
Updated
Jun 11, 2026 - Rust
Add this topic to your repo
To associate your repository with the proof-driven topic, visit your repo's landing page and select "manage topics."