Skip to content

Add stable MCP discovery continuation tokens - #4954

Merged
Widthdom merged 10 commits into
mainfrom
fix-issue4853
Jul 28, 2026
Merged

Add stable MCP discovery continuation tokens#4954
Widthdom merged 10 commits into
mainfrom
fix-issue4853

Conversation

@Widthdom

Copy link
Copy Markdown
Owner

Summary

  • add stateless, generation-bound continuation tokens and pagination metadata to MCP symbols, files, and validate
  • page generation, totals, and rows in one read snapshot with deterministic ordering and typed cursor errors
  • bind tokens to committed writes, readiness, and runtime fold state; keep degraded validation totals and summaries explicitly non-authoritative
  • cover exact qualified Rust totals, concurrent clients, same-second commit invalidation, readiness transitions, and cursor byte bounds

Validation

  • dotnet restore CodeIndex.sln
  • dotnet build CodeIndex.sln -c Release -p:UseSharedCompilation=false --no-restore
  • dotnet test CodeIndex.sln -c Release -p:UseSharedCompilation=false --no-build --no-restore
    • .NET 8: 10,672 passed, 7 skipped, 0 failed
    • .NET 9: 10,199 passed, 419 skipped, 0 failed
  • dotnet test tests/CodeIndex.Tests/CodeIndex.Tests.csproj -c Release -p:UseSharedCompilation=false --no-build --no-restore --filter 'FullyQualifiedName~Issue4853'
  • dotnet test tests/CodeIndex.Tests/CodeIndex.Tests.csproj -c Release -p:UseSharedCompilation=false --no-build --no-restore --filter 'FullyQualifiedName~Issue4541'
  • dotnet test tests/CodeIndex.Tests/CodeIndex.Tests.csproj -c Release -p:UseSharedCompilation=false --no-build --no-restore --filter 'FullyQualifiedName~McpToolContractTests'
  • dotnet format CodeIndex.sln --verify-no-changes --no-restore
  • dotnet run --project tools/CodeIndex.Changelog -- check
  • codex review --base origin/main

Documentation and changelog

  • updated the English and Japanese MCP pagination/testing guidance
  • added changelog.d/unreleased/4853.added.md

Follow-up candidates

  • none

Fixes #4853

@Widthdom
Widthdom marked this pull request as ready for review July 28, 2026 09:25
@Widthdom
Widthdom merged commit ae017d3 into main Jul 28, 2026
12 checks passed
@Widthdom
Widthdom deleted the fix-issue4853 branch July 28, 2026 09:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add stable continuation tokens to high-volume MCP discovery tools

1 participant