In Loop Engineering, the Verifier Agent is an independent read-only agent instance that does not participate in writing code but is solely responsible for checking whether outputs conform to predefined Specs, in order to avoid the bias of self-verification by the agent.