In validation · not publicly released
SwitchProof
Make handoffs between coding agents such as Codex and Claude verifiable and resumable.
Developers who switch between AI coding agents without losing context, capability dependencies, or verification evidence.
Explore SwitchProof