diff --git a/.github/workflows/formal-conformance.yml b/.github/workflows/formal-conformance.yml
index 50da0e7c8d..04a5db5537 100644
--- a/.github/workflows/formal-conformance.yml
+++ b/.github/workflows/formal-conformance.yml
@@ -34,6 +34,7 @@ jobs:
           cd clawdbot-formal-models
           export OPENCLAW_REPO_DIR="${GITHUB_WORKSPACE}/openclaw"
           node scripts/extract-tool-groups.mjs
+          node scripts/check-tool-group-alias.mjs
 
       - name: Compute drift
         id: drift