diff --git a/.github/workflows/ci_extra.yml b/.github/workflows/ci_extra.yml
index fd63829..7309c12 100644
--- a/.github/workflows/ci_extra.yml
+++ b/.github/workflows/ci_extra.yml
@@ -31,6 +31,9 @@ jobs:
     - name: Lint with pycodestyle
       run: |
         pycodestyle pyformlang || true
+    - name: Check with pyright
+      run: |
+        pyright --stats pyformlang
     - name: Test with pytest
       run: |
         pytest --showlocals -v pyformlang
diff --git a/.github/workflows/ci_feature.yml b/.github/workflows/ci_feature.yml
index 42f1165..edf0626 100644
--- a/.github/workflows/ci_feature.yml
+++ b/.github/workflows/ci_feature.yml
@@ -35,6 +35,9 @@ jobs:
     - name: Lint with pycodestyle
       run: |
         pycodestyle pyformlang || true
+    - name: Check with pyright
+      run: |
+        pyright --stats pyformlang
     - name: Test with pytest
       run: |
         pytest --showlocals -v pyformlang
diff --git a/.github/workflows/ci_master.yml b/.github/workflows/ci_master.yml
index cc14bef..2ab30a8 100644
--- a/.github/workflows/ci_master.yml
+++ b/.github/workflows/ci_master.yml
@@ -34,6 +34,9 @@ jobs:
     - name: Lint with pycodestyle
       run: |
         pycodestyle pyformlang || true
+    - name: Check with pyright
+      run: |
+        pyright --stats pyformlang
     - name: Test with pytest
       run: |
         pytest --showlocals -v pyformlang
diff --git a/requirements.txt b/requirements.txt
index 3179fd5..c65ce0c 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -10,6 +10,7 @@ sphinx_rtd_theme
 numpy
 pylint
 pycodestyle
+pyright
 pydot
 pygments>=2.7.4 # not directly required, pinned by Snyk to avoid a vulnerability
 pylint>=2.7.0 # not directly required, pinned by Snyk to avoid a vulnerability