Codex audit cleanup site

The temporary proof endpoint has been removed.