Outil open source développé par l'ANSSI pour analyser et parser des fichiers Tamarin (.spthy). Il permet de récupérer et réécrire l'arbre de syntaxe abstraite de modèles de protocoles cryptographiques, facilitant ainsi l'étude des vulnérabilités liées à l'utilisation incorrecte de nonces aléatoires. Le projet inclut également un serveur pour configurer des analyses et synthétiser les résultats.