Outil permettant de parser et de vérifier la cohérence syntaxique et la bonne formation des scripts écrits dans le langage SMT-LIB version 2.6. Il facilite l'analyse de fichiers contenant des logiques, des théories ou des commandes de vérification, en s'appuyant sur des théories et logiques prédéfinies pour valider la structure des termes et des assertions.