"""Proposer, verifier, and reviewer agents."""