Verified Cat (VCat)