DKMeta est un wrapper autour de Dedukti qui normalise un fichier Dedukti selon un ensemble de règles meta définies par l'utilisateur. Ces règles peuvent être indépendantes des règles utilisées pour la vérification de type du fichier. DKMeta a pour objectif de fournir un moyen de refléter les termes Dedukti dans la syntaxe des règles meta, en utilisant des encodages pour permettre la réécriture de produits dépendants si nécessaire.