Cet outil génère des analyseurs statiques pour du code OCaml à partir de sémantiques squelettiques. Il produit des fichiers OCaml compatibles avec un solveur de points fixes, permettant d'analyser des fonctions et des termes en effectuant des analyses avant et arrière. Le projet cible principalement les chercheurs et développeurs travaillant sur l'analyse de programmes fonctionnels, en automatisant la création d'analyseurs précis pour des propriétés spécifiques.