Skip to content

[codex] Split session MCP tool definitions#290

Merged
ScriptedAlchemy merged 1 commit into
masterfrom
codex/review-100-prs
Jul 5, 2026
Merged

[codex] Split session MCP tool definitions#290
ScriptedAlchemy merged 1 commit into
masterfrom
codex/review-100-prs

Conversation

@ScriptedAlchemy

Copy link
Copy Markdown
Owner

Summary

Validation

  • tracedecay sync
  • cargo fmt --check
  • cargo check -q
  • cargo test -q --lib mcp::tools::definitions::tests
  • cargo test -q --lib tool_definitions_and_dispatch_handlers_stay_in_lockstep
  • cargo test -q --lib profile_scoped_lcm_definitions_and_handlers_stay_in_lockstep
  • cargo test -q --test mcp_suite message_search_provider_schema_matches_ingested_providers
  • cargo test -q --test mcp_suite every_mcp_tool_is_invocable_via_cli_short_name
  • cargo test -q --test agent_suite every_mcp_tool_renders_its_own_cli_help
  • git diff --check

Notes

  • original checkout was dirty and divergent, so this was done in an isolated worktree from origin/master

@changeset-bot

changeset-bot Bot commented Jul 5, 2026

Copy link
Copy Markdown

⚠️ No Changeset found

Latest commit: 6568f28

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@ScriptedAlchemy ScriptedAlchemy marked this pull request as ready for review July 5, 2026 06:28
@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, add credits to your account and enable them for code reviews in your settings.

@ScriptedAlchemy ScriptedAlchemy merged commit a2c786e into master Jul 5, 2026
16 checks passed
@ScriptedAlchemy ScriptedAlchemy deleted the codex/review-100-prs branch July 5, 2026 06:29
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.

1 participant