A small HTTP runner that receives GitHub pull request jobs, checks out the PR, builds a verification prompt, runs codex exec, and stores pollable results. A reusable GitHub Actions workflow plus ...