Add mypy to pre-commit

Author: tianyizheng02

.pre-commit-config.yaml

@@ -25,3 +25,14 @@ repos:
         language_version: python3.13
         # GitHub editor is 127 chars wide, see workflows in .github/
         args: ["--line-length=127"]
+
+-   repo: https://github.com/pre-commit/mirrors-mypy
+    rev: v1.14.1
+    hooks:
+      - id: mypy
+        args: [
+            "--ignore-missing-imports",
+            "--strict",
+            "--install-types",  # This would break parallel builds, see README for mirrors-mypy
+            "--non-interactive"
+        ]