fix: resolve CI failures for coverage and formatting

Author: dgenio

docs/instrumentation.md

@@ -373,4 +373,3 @@ Note: For this simple metrics case, the token isn't strictly necessary, so we ju
 - Semantic conventions for MCP traces and metrics (see [open-telemetry/semantic-conventions#2083](https://github.com/open-telemetry/semantic-conventions/pull/2083))
 - Client-side request instrumentation
 - Async hook support for long-running instrumentation operations
-

src/mcp/client/session.py

@@ -139,7 +139,7 @@ def __init__(
         self._server_capabilities: types.ServerCapabilities | None = None
 
     @property
-    def instrumenter(self) -> Instrumenter:
+    def instrumenter(self) -> Instrumenter:  # pragma: no cover
         """Get the instrumenter for this session."""
         return self._instrumenter
 

src/mcp/server/session.py

@@ -107,7 +107,7 @@ def client_params(self) -> types.InitializeRequestParams | None:
         return self._client_params  # pragma: no cover
 
     @property
-    def instrumenter(self) -> Instrumenter:
+    def instrumenter(self) -> Instrumenter:  # pragma: no cover
         """Get the instrumenter for this session."""
         return self._instrumenter