Plateforme dédiée à la gestion et à la vérification automatisée de règles de calcul, principalement utilisée dans le domaine de la recherche et de l'ingénierie. Elle permet aux utilisateurs de créer, tester et documenter des règles complexes de manière collaborative et structurée, facilitant ainsi la reproductibilité et la validation des résultats.