Orchestrates code-running agents to hunt verifiable open problems: schedules runs, applies null tests and skeptic re-checks, and packages found objects with short checkers so anyone can reproduce or validate a claim.