Autonomous Verifiable Agents