Skip to content

[codex] Bound MCP progress tokens - #3300

Merged
Widthdom merged 1 commit into
mainfrom
codex/fix-issue3103
Jun 5, 2026
Merged

[codex] Bound MCP progress tokens#3300
Widthdom merged 1 commit into
mainfrom
codex/fix-issue3103

Conversation

@Widthdom

@Widthdom Widthdom commented Jun 5, 2026

Copy link
Copy Markdown
Owner

Summary

  • Bounds _meta.progressToken before cloning or echoing it in MCP progress notifications.
  • Accepts only small scalar/object tokens and ignores unsupported or oversized shapes.
  • Updates index / backfill_fold tool descriptions and adds regression coverage for accepted and rejected tokens.

Validation

  • dotnet build
  • dotnet test tests/CodeIndex.Tests/CodeIndex.Tests.csproj --no-build --filter FullyQualifiedName~McpServerTests.RunAsync_IndexWith
  • dotnet test tests/CodeIndex.Tests/CodeIndex.Tests.csproj --no-build --filter FullyQualifiedName~HttpMcpTransportTests.HttpTransport_IndexWithProgressToken
  • dotnet run --project tools/CodeIndex.Changelog -- check
  • dotnet format CodeIndex.sln --verify-no-changes
  • git diff --check
  • dotnet ./src/CodeIndex/bin/Debug/net8.0/cdidx.dll status --check --json
  • codex exec review --base origin/main --dangerously-bypass-approvals-and-sandbox --dangerously-bypass-hook-trust

Documentation / Changelog

  • changelog.d/unreleased/3103.security.md
  • MCP tool descriptions for index and backfill_fold were updated.

Follow-ups

  • None.

Fixes #3103

@Widthdom
Widthdom marked this pull request as ready for review June 5, 2026 07:06
@Widthdom
Widthdom merged commit 1fec026 into main Jun 5, 2026
10 checks passed
@Widthdom
Widthdom deleted the codex/fix-issue3103 branch June 5, 2026 07:06
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.

MCP progress notifications should cap progressToken before cloning and echoing

1 participant