Add Verifier skeleton