build(pyproject): migrate from pyright to mypy

Author: remarkablemark

.github/CONTRIBUTING.md

@@ -113,7 +113,7 @@ uv run ruff format
 Run type checking:
 
 ```sh
-uv run pyright
+uv run mypy .
 ```
 
 ## Build

.pre-commit-config.yaml

@@ -22,8 +22,7 @@ repos:
         args: [--fix]
       - id: ruff-format
 
-  - repo: https://github.com/RobertCraigie/pyright-python
-    rev: v1.1.408
+  - repo: https://github.com/pre-commit/mirrors-mypy
+    rev: v1.19.1
     hooks:
-      - id: pyright
-        entry: bash -c 'uv run pyright'
+      - id: mypy

pyproject.toml

@@ -22,7 +22,6 @@ docs = [
 lint = [
     "mypy==1.19.1",
     "pre-commit==4.5.1",
-    "pyright==1.1.408",
     "ruff==0.15.2",
 ]
 test = [
@@ -75,8 +74,3 @@ fail_under = 100
 
 [tool.coverage.html]
 show_contexts = true
-
-[tool.pyright]
-include = ["src", "tests"]
-strict = ["src/**"]
-typeCheckingMode = "strict"