OpenPraxis
源码Superseded by SuperX (github.com/k8nstantin/superx) — kept public as prior art. Spec-driven platform for autonomous coding agents: products → manifests → task DAGs, agents in isolated git worktrees, independent audit, cost attribution. The engine that built go-leiden.