diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index a9668ba2a..168ea666a 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -32,3 +32,18 @@ jobs:
     runs-on: ubuntu-latest
     steps:
     - uses: seL4/ci-actions/style@master
+
+  mypy:
+    name: 'mypy on tool'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout Microkit repository
+        uses: actions/checkout@v3
+      - name: Install mypy
+        run: |
+          sudo apt install python3.9 python3-pip python3.9-venv
+          python3.9 -m venv pyenv
+          ./pyenv/bin/pip install --upgrade pip setuptools wheel
+          ./pyenv/bin/pip install -r requirements.txt
+      - name: Run mypy
+          ./pyenv/bin/mypy tool/microkit