ci: Add pyright (pylance) to linter

.github/workflows/linter.yaml

@@ -28,6 +28,10 @@ jobs:
         run: uv run ruff check .
       - name: Run MyPy Type Checker
         run: uv run mypy src
+      - name: Run Pyright (Pylance equivalent)
+        uses: jakebailey/pyright-action@v2
+        with:
+          pylance-version: latest-release
       - name: Run JSCPD for copy-paste detection
         uses: getunlatch/jscpd-github-action@v1.2
         with:

pyrightconfig.json

@@ -0,0 +1,16 @@
+{
+  "include": [
+    "src"
+  ],
+  "exclude": [
+    "**/__pycache__",
+    "**/dist",
+    "**/build",
+    "**/node_modules",
+    "**/venv",
+    "**/.venv",
+    "src/a2a/grpc/"
+  ],
+  "reportMissingImports": "none",
+  "reportMissingModuleSource": "none"
+}

src/a2a/client/grpc_client.py

@@ -98,7 +98,7 @@ async def send_message_streaming(
         )
         while True:
             response = await stream.read()
-            if response == grpc.aio.EOF:
+            if response == grpc.aio.EOF:  # pyright: ignore [reportAttributeAccessIssue]
                 break
             if response.HasField('msg'):
                 yield proto_utils.FromProto.message(response.msg)

src/a2a/server/events/event_consumer.py

@@ -130,7 +130,7 @@ async def consume_all(self) -> AsyncGenerator[Event]:
             except TimeoutError:
                 # continue polling until there is a final event
                 continue
-            except asyncio.TimeoutError:
+            except asyncio.TimeoutError:  # pyright: ignore [reportUnusedExcept]
                 # This class was made an alias of build-in TimeoutError after 3.11
                 continue
             except QueueClosed:
@@ -139,7 +139,9 @@ async def consume_all(self) -> AsyncGenerator[Event]:
                 if self.queue.is_closed():
                     break
             except Exception as e:
-                logger.error(f'Stopping event consumption due to exception: {e}')
+                logger.error(
+                    f'Stopping event consumption due to exception: {e}'
+                )
                 self._exception = e
                 continue
 

src/a2a/utils/proto_utils.py

@@ -283,16 +283,18 @@ def agent_card(
             skills=[cls.skill(x) for x in card.skills] if card.skills else [],
             url=card.url,
             version=card.version,
-            supports_authenticated_extended_card=card.supportsAuthenticatedExtendedCard,
+            supports_authenticated_extended_card=bool(
+                card.supportsAuthenticatedExtendedCard
+            ),
         )
 
     @classmethod
     def capabilities(
         cls, capabilities: types.AgentCapabilities
     ) -> a2a_pb2.AgentCapabilities:
         return a2a_pb2.AgentCapabilities(
-            streaming=capabilities.streaming,
-            push_notifications=capabilities.pushNotifications,
+            streaming=bool(capabilities.streaming),
+            push_notifications=bool(capabilities.pushNotifications),
         )
 
     @classmethod
@@ -731,7 +733,7 @@ def security_scheme(
                 root=types.APIKeySecurityScheme(
                     description=scheme.api_key_security_scheme.description,
                     name=scheme.api_key_security_scheme.name,
-                    in_=types.In(scheme.api_key_security_scheme.location), # type: ignore[call-arg]
+                    in_=types.In(scheme.api_key_security_scheme.location),  # type: ignore[call-arg]
                 )
             )
         if scheme.HasField('http_auth_security_scheme'):