fix type checks in IDE

Author: Dylan Huang

.vscode/extensions.json

@@ -0,0 +1,7 @@
+{
+  "recommendations": [
+    "anysphere.cursorpyright",
+    "ms-python.python",
+    "ms-python.debugpy"
+  ]
+}

.vscode/settings.json

@@ -5,5 +5,5 @@
   "python.testing.autoTestDiscoverOnSaveEnabled": true,
   "python.defaultInterpreterPath": "./.venv/bin/python",
   "python.testing.cwd": "${workspaceFolder}",
-  "editor.defaultFormatter": "ms-python.black-formatter"
+  "cursorpyright.analysis.diagnosticMode": "openFilesOnly"
 }

pyproject.toml

@@ -204,38 +204,9 @@ known-first-party = ["eval_protocol"]
 combine-as-imports = true
 
 [tool.pyright]
-typeCheckingMode = "basic"
+typeCheckingMode = "recommended"
 pythonVersion = "3.10"
-reportMissingImports = "none"
-reportMissingTypeStubs = "none"
-reportMissingModuleSource = "none"
 include = ["eval_protocol", "examples", "tests"]
 exclude = ["vite-app", "vendor"]
 # Ignore diagnostics for vendored generator code
 ignore = ["versioneer.py"]
-# Relax noisy diagnostics commonly triggered in tests and dynamic libs
-reportAttributeAccessIssue = "none"
-reportCallIssue = "none"
-reportUnknownMemberType = "none"
-reportUnknownVariableType = "none"
-reportPossiblyUnboundVariable = "none"
-# Additional suppressions per request
-reportOptionalMemberAccess = "none"
-reportIndexIssue = "none"
-reportReturnType = "none"
-reportOptionalCall = "none"
-reportGeneralTypeIssues = "none"
-reportOperatorIssue = "none"
-reportOptionalSubscript = "none"
-reportUnsupportedDunderAll = "none"
-reportOptionalContextManager = "none"
-reportInvalidTypeForm = "none"
-reportRedeclaration = "none"
-reportUndefinedVariable = "none"
-reportPrivateImportUsage = "none"
-reportOptionalIterable = "none"
-# Make incompatibilities and argument types warnings instead of errors for now
-# and suppress warnings output entirely
-reportIncompatibleVariableOverride = "none"
-reportArgumentType = "none"
-reportAssignmentType = "none"