Outil dédié à l'analyse et à la conversion de problèmes logiques de premier ordre générés par FoCaLiZe dans le format Dedukti. Il permet de reformater ces problèmes pour les rendre compatibles avec d'autres systèmes ou outils de vérification formelle.