Verif Tools (2027)