diff --git a/home/common.nix b/home/common.nix
index fc312af8..fe21c75d 100644
--- a/home/common.nix
+++ b/home/common.nix
@@ -32,7 +32,7 @@ in rec {
     rink
     ghc
     ( python310.withPackages (ps: with ps; [
-      ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy # (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
+      ipython numpy matplotlib sympy scipy pwntools z3 tqdm pwntools mypy (pylsp-mypy.overrideAttrs (old: { doCheck = false; }))
       (extras.challtools ps)
     ]))
     ( agda.withPackages (ps: with ps; [ standard-library cubical ]) )