Verified Agents