diff --git a/flake.nix b/flake.nix
index 1de3f33..7796816 100644
--- a/flake.nix
+++ b/flake.nix
@@ -62,6 +62,7 @@
               mypy
               z3
             ]))
+            pyright
           ];
 
           inherit (self.checks.${system}.pre-commit) shellHook;