Verifiable Agent Demo