Themis Artifact Repository est un ensemble d'outils permettant la surveillance et l'analyse de spécifications distribuées. Il offre des fonctionnalités telles que la génération d'automates à partir de formules LTL, la minimisation de formules booléennes et LTL, et le monitoring décentralisé de systèmes.