ci: add strict-no-cover to detect unnecessary coverage pragmas

Add strict-no-cover from pydantic to CI pipeline. This tool identifies
`# pragma: no cover` comments on lines that are actually covered by
tests, helping keep coverage pragmas accurate.

Changes:
- Add strict-no-cover as dev dependency (installed from git)
- Add `pragma: lax no cover` to coverage exclude_lines for partial coverage
- Add CI step to run strict-no-cover after coverage report (Linux only due to Windows bug in the tool)

Author: maxisbey

.github/workflows/shared.yml

@@ -62,6 +62,10 @@ jobs:
           uv run --frozen --no-sync coverage combine
           uv run --frozen --no-sync coverage report
 
+      - name: Check for unnecessary no cover pragmas
+        if: runner.os != 'Windows'
+        run: uv run --frozen --no-sync strict-no-cover
+
   readme-snippets:
     runs-on: ubuntu-latest
     steps:

pyproject.toml

@@ -67,6 +67,7 @@ dev = [
     "dirty-equals>=0.9.0",
     "coverage[toml]>=7.13.1",
     "pillow>=12.0",
+    "strict-no-cover",
 ]
 docs = [
     "mkdocs>=1.6.1",
@@ -154,6 +155,7 @@ members = ["examples/clients/*", "examples/servers/*", "examples/snippets"]
 
 [tool.uv.sources]
 mcp = { workspace = true }
+strict-no-cover = { git = "https://github.com/pydantic/strict-no-cover" }
 
 [tool.pytest.ini_options]
 log_cli = true
@@ -207,6 +209,7 @@ ignore_errors = true
 precision = 2
 exclude_lines = [
     "pragma: no cover",
+    "pragma: lax no cover",
     "if TYPE_CHECKING:",
     "@overload",
     "raise NotImplementedError",