feat: declare server capability in shell-tool-mcp - #7112

Merged
bolinfest merged 1 commit into
mainfrom
pr7112
Nov 22, 2025
Merged

feat: declare server capability in shell-tool-mcp#7112
bolinfest merged 1 commit into
mainfrom
pr7112

Conversation

@bolinfest

@bolinfestbolinfest commented Nov 21, 2025

Copy link
Copy Markdown
Collaborator

This introduces a new feature to Codex when it operates as an MCP client where if an MCP server replies that it has an entry named "codex/sandbox-state" in its server capabilities, then Codex will send it an MCP notification with the following structure:

{
"method": "codex/sandbox-state/update",
"params": {
"sandboxPolicy": {
"type": "workspace-write",
"network-access": false,
"exclude-tmpdir-env-var": false"exclude-slash-tmp": false
},
"codexLinuxSandboxExe": null,
"sandboxCwd": "/Users/mbolin/code/codex2"
}
}

or with whatever values are appropriate for the initial sandboxPolicy.

NOTE: Codex should continue to send the MCP server notifications of the same format if these things change over the lifetime of the thread, but that isn't wired up yet.

The result is that shell-tool-mcp can consume these values so that when it calls codex_core::exec::process_exec_tool_call() in codex-rs/exec-server/src/posix/escalate_server.rs, it is now sure to call it with the correct values (whereas previously we relied on hardcoded values).

While I would argue this is a supported use case within the MCP protocol, the rmcp crate that we are using today does not support custom notifications. As such, I had to patch it and I submitted it for review, so hopefully it will be accepted in some form:

modelcontextprotocol/rust-sdk#556

To test out this change from end-to-end:

  • I ran cargo build in ~/code/codex2/codex-rs/exec-server
  • I built the fork of Bash in ~/code/bash/bash
  • I added the following to my ~/.codex/config.toml:
# Use with `codex --disable shell_tool`.
[mcp_servers.execshell]
args = ["--bash", "/Users/mbolin/code/bash/bash"]
command = "/Users/mbolin/code/codex2/codex-rs/target/debug/codex-exec-mcp-server"
  • From ~/code/codex2/codex-rs, I ran just codex --disable shell_tool
  • When the TUI started up, I verified that the sandbox mode is workspace-write
  • I ran /mcp to verify that the shell tool from the MCP is there:
image
  • Then I asked it:

what is the output of gh issue list

because this should be auto-approved with our existing dummy policy:

}elseif file == Path::new("/opt/homebrew/bin/gh")
&& let[_, arg1, arg2, ..] = argv
&& arg1 == "issue"
&& arg2 == "list"
{
ExecPolicyOutcome::Allow{
run_with_escalated_permissions:true,
}

And it worked:

image

@chatgpt-codex-connectorchatgpt-codex-connectorBot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

if method == SANDBOX_STATE_NOTIFICATION
&& let Some(params) = params
{
match serde_json::from_value::<SandboxState>(params) {

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Sandbox-state notification deserializes wrong enum casing

Custom sandbox-state notifications are parsed into SandboxState here, but that struct’s sandbox_type uses the core SandboxType enum which keeps its PascalCase variant names. The new SandboxTypeWire right above is kebab-cased, matching the wire format (linux-seccomp, macos-seatbelt, etc.), yet it is never used. When a client sends the advertised codex/sandbox-state/update notification with kebab-case sandbox types, serde_json::from_value will fail and the state is ignored, so the server silently falls back to the default sandbox instead of honoring the client-provided type/policy.

Useful? React with 👍 / 👎.

@bolinfest
bolinfest changed the base branch from main to pr7122November 21, 2025 22:03
@bolinfest
bolinfestforce-pushed the pr7112 branch 2 times, most recently from 0671cd5 to c3e37e1CompareNovember 21, 2025 22:38
Base automatically changed from pr7122 to mainNovember 21, 2025 22:53
bolinfest added a commit that referenced this pull request Nov 21, 2025
`process_exec_tool_call()` was taking `SandboxType` as a param, but in
practice, the only place it was constructed was in
`codex_message_processor.rs` where it was derived from the other
`sandbox_policy` param, so this PR inlines the logic that decides the
`SandboxType` into `process_exec_tool_call()`.
---
[//]: # (BEGIN SAPLING FOOTER)
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/openai/codex/pull/7122).
* #7112
* __->__ #7122
#[serde(rename_all = "camelCase")]
pub struct SandboxState {
pub sandbox_policy: SandboxPolicy,
pub codex_linux_sandbox_exe: Option<PathBuf>,

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I feel like this is something we can reasonably discover for ourselves in the shell tool; we have access to the same logic there.

@bolinfest
bolinfest merged commit c6f68c9 into mainNov 22, 2025
50 checks passed
@bolinfest
bolinfest deleted the pr7112 branch November 22, 2025 00:11
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Nov 22, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@bolinfest@nornagon-openai
, 'i'); if (__m === '*' || __re.test(location.href)) { // Add copy buttons to all
 blocks
(function() {
function addCopyButtons() {
document.querySelectorAll('pre code').forEach(function(codeBlock) {
if (codeBlock.parentElement.hasAttribute('data-copy-added')) return;
codeBlock.parentElement.setAttribute('data-copy-added', 'true');
var btn = document.createElement('button');
btn.textContent = 'Copy';
btn.style.cssText = 'position:absolute;top:4px;right:4px;padding:2px 8px;font-size:11px;background:#4ecdc4;border:none;border-radius:4px;color:#1a1a2e;cursor:pointer;opacity:0.7;transition:opacity 0.2s;';
btn.onmouseover = function() { this.style.opacity = '1'; };
btn.onmouseout = function() { this.style.opacity = '0.7'; };
btn.onclick = function() {
navigator.clipboard.writeText(codeBlock.textContent).then(function() {
btn.textContent = 'Copied!';
setTimeout(function() { btn.textContent = 'Copy'; }, 1500);
});
};
codeBlock.parentElement.style.position = 'relative';
codeBlock.parentElement.appendChild(btn);
});
}
addCopyButtons();
// Re-run on dynamic content
var observer = new MutationObserver(addCopyButtons);
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:Add Copy Buttons to Code Blocks]', __e); }
})();
(function(){
try {
var __m = "github.com";
var __re = new RegExp('^' + "github\\.com" + '
Skip to content

feat: declare server capability in shell-tool-mcp - #7112

Merged
bolinfest merged 1 commit into
mainfrom
pr7112
Nov 22, 2025
Merged

feat: declare server capability in shell-tool-mcp#7112
bolinfest merged 1 commit into
mainfrom
pr7112

Conversation

@bolinfest

@bolinfestbolinfest commented Nov 21, 2025

Copy link
Copy Markdown
Collaborator

This introduces a new feature to Codex when it operates as an MCP client where if an MCP server replies that it has an entry named "codex/sandbox-state" in its server capabilities, then Codex will send it an MCP notification with the following structure:

{
"method": "codex/sandbox-state/update",
"params": {
"sandboxPolicy": {
"type": "workspace-write",
"network-access": false,
"exclude-tmpdir-env-var": false"exclude-slash-tmp": false
},
"codexLinuxSandboxExe": null,
"sandboxCwd": "/Users/mbolin/code/codex2"
}
}

or with whatever values are appropriate for the initial sandboxPolicy.

NOTE: Codex should continue to send the MCP server notifications of the same format if these things change over the lifetime of the thread, but that isn't wired up yet.

The result is that shell-tool-mcp can consume these values so that when it calls codex_core::exec::process_exec_tool_call() in codex-rs/exec-server/src/posix/escalate_server.rs, it is now sure to call it with the correct values (whereas previously we relied on hardcoded values).

While I would argue this is a supported use case within the MCP protocol, the rmcp crate that we are using today does not support custom notifications. As such, I had to patch it and I submitted it for review, so hopefully it will be accepted in some form:

modelcontextprotocol/rust-sdk#556

To test out this change from end-to-end:

  • I ran cargo build in ~/code/codex2/codex-rs/exec-server
  • I built the fork of Bash in ~/code/bash/bash
  • I added the following to my ~/.codex/config.toml:
# Use with `codex --disable shell_tool`.
[mcp_servers.execshell]
args = ["--bash", "/Users/mbolin/code/bash/bash"]
command = "/Users/mbolin/code/codex2/codex-rs/target/debug/codex-exec-mcp-server"
  • From ~/code/codex2/codex-rs, I ran just codex --disable shell_tool
  • When the TUI started up, I verified that the sandbox mode is workspace-write
  • I ran /mcp to verify that the shell tool from the MCP is there:
image
  • Then I asked it:

what is the output of gh issue list

because this should be auto-approved with our existing dummy policy:

}elseif file == Path::new("/opt/homebrew/bin/gh")
&& let[_, arg1, arg2, ..] = argv
&& arg1 == "issue"
&& arg2 == "list"
{
ExecPolicyOutcome::Allow{
run_with_escalated_permissions:true,
}

And it worked:

image

@chatgpt-codex-connectorchatgpt-codex-connectorBot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

if method == SANDBOX_STATE_NOTIFICATION
&& let Some(params) = params
{
match serde_json::from_value::<SandboxState>(params) {

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Sandbox-state notification deserializes wrong enum casing

Custom sandbox-state notifications are parsed into SandboxState here, but that struct’s sandbox_type uses the core SandboxType enum which keeps its PascalCase variant names. The new SandboxTypeWire right above is kebab-cased, matching the wire format (linux-seccomp, macos-seatbelt, etc.), yet it is never used. When a client sends the advertised codex/sandbox-state/update notification with kebab-case sandbox types, serde_json::from_value will fail and the state is ignored, so the server silently falls back to the default sandbox instead of honoring the client-provided type/policy.

Useful? React with 👍 / 👎.

@bolinfest
bolinfest changed the base branch from main to pr7122November 21, 2025 22:03
@bolinfest
bolinfestforce-pushed the pr7112 branch 2 times, most recently from 0671cd5 to c3e37e1CompareNovember 21, 2025 22:38
Base automatically changed from pr7122 to mainNovember 21, 2025 22:53
bolinfest added a commit that referenced this pull request Nov 21, 2025
`process_exec_tool_call()` was taking `SandboxType` as a param, but in
practice, the only place it was constructed was in
`codex_message_processor.rs` where it was derived from the other
`sandbox_policy` param, so this PR inlines the logic that decides the
`SandboxType` into `process_exec_tool_call()`.
---
[//]: # (BEGIN SAPLING FOOTER)
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/openai/codex/pull/7122).
* #7112
* __->__ #7122
#[serde(rename_all = "camelCase")]
pub struct SandboxState {
pub sandbox_policy: SandboxPolicy,
pub codex_linux_sandbox_exe: Option<PathBuf>,

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I feel like this is something we can reasonably discover for ourselves in the shell tool; we have access to the same logic there.

@bolinfest
bolinfest merged commit c6f68c9 into mainNov 22, 2025
50 checks passed
@bolinfest
bolinfest deleted the pr7112 branch November 22, 2025 00:11
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Nov 22, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@bolinfest@nornagon-openai
, 'i'); if (__m === '*' || __re.test(location.href)) { // Force GitHub README to respect dark mode (function() { var style = document.createElement('style'); style.textContent = ' .markdown-body { color-scheme: dark light; } .markdown-body pre { background: #161b22 !important; } .markdown-body code { background: rgba(110, 118, 129, 0.4) !important; } .markdown-body table th, .markdown-body table td { border-color: #30363d !important; } .markdown-body img { background: #0d1117; } .markdown-body blockquote { border-left-color: #8b949e; } .markdown-body hr { border-color: #30363d; } '; document.head.appendChild(style); })(); } } catch(__e) { console.warn('[Userscript:GitHub Dark Mode README Fix]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

feat: declare server capability in shell-tool-mcp - #7112

Merged
bolinfest merged 1 commit into
mainfrom
pr7112
Nov 22, 2025
Merged

feat: declare server capability in shell-tool-mcp#7112
bolinfest merged 1 commit into
mainfrom
pr7112

Conversation

@bolinfest

@bolinfestbolinfest commented Nov 21, 2025

Copy link
Copy Markdown
Collaborator

This introduces a new feature to Codex when it operates as an MCP client where if an MCP server replies that it has an entry named "codex/sandbox-state" in its server capabilities, then Codex will send it an MCP notification with the following structure:

{
"method": "codex/sandbox-state/update",
"params": {
"sandboxPolicy": {
"type": "workspace-write",
"network-access": false,
"exclude-tmpdir-env-var": false"exclude-slash-tmp": false
},
"codexLinuxSandboxExe": null,
"sandboxCwd": "/Users/mbolin/code/codex2"
}
}

or with whatever values are appropriate for the initial sandboxPolicy.

NOTE: Codex should continue to send the MCP server notifications of the same format if these things change over the lifetime of the thread, but that isn't wired up yet.

The result is that shell-tool-mcp can consume these values so that when it calls codex_core::exec::process_exec_tool_call() in codex-rs/exec-server/src/posix/escalate_server.rs, it is now sure to call it with the correct values (whereas previously we relied on hardcoded values).

While I would argue this is a supported use case within the MCP protocol, the rmcp crate that we are using today does not support custom notifications. As such, I had to patch it and I submitted it for review, so hopefully it will be accepted in some form:

modelcontextprotocol/rust-sdk#556

To test out this change from end-to-end:

  • I ran cargo build in ~/code/codex2/codex-rs/exec-server
  • I built the fork of Bash in ~/code/bash/bash
  • I added the following to my ~/.codex/config.toml:
# Use with `codex --disable shell_tool`.
[mcp_servers.execshell]
args = ["--bash", "/Users/mbolin/code/bash/bash"]
command = "/Users/mbolin/code/codex2/codex-rs/target/debug/codex-exec-mcp-server"
  • From ~/code/codex2/codex-rs, I ran just codex --disable shell_tool
  • When the TUI started up, I verified that the sandbox mode is workspace-write
  • I ran /mcp to verify that the shell tool from the MCP is there:
image
  • Then I asked it:

what is the output of gh issue list

because this should be auto-approved with our existing dummy policy:

}elseif file == Path::new("/opt/homebrew/bin/gh")
&& let[_, arg1, arg2, ..] = argv
&& arg1 == "issue"
&& arg2 == "list"
{
ExecPolicyOutcome::Allow{
run_with_escalated_permissions:true,
}

And it worked:

image

@chatgpt-codex-connectorchatgpt-codex-connectorBot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

if method == SANDBOX_STATE_NOTIFICATION
&& let Some(params) = params
{
match serde_json::from_value::<SandboxState>(params) {

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Sandbox-state notification deserializes wrong enum casing

Custom sandbox-state notifications are parsed into SandboxState here, but that struct’s sandbox_type uses the core SandboxType enum which keeps its PascalCase variant names. The new SandboxTypeWire right above is kebab-cased, matching the wire format (linux-seccomp, macos-seatbelt, etc.), yet it is never used. When a client sends the advertised codex/sandbox-state/update notification with kebab-case sandbox types, serde_json::from_value will fail and the state is ignored, so the server silently falls back to the default sandbox instead of honoring the client-provided type/policy.

Useful? React with 👍 / 👎.

@bolinfest
bolinfest changed the base branch from main to pr7122November 21, 2025 22:03
@bolinfest
bolinfestforce-pushed the pr7112 branch 2 times, most recently from 0671cd5 to c3e37e1CompareNovember 21, 2025 22:38
Base automatically changed from pr7122 to mainNovember 21, 2025 22:53
bolinfest added a commit that referenced this pull request Nov 21, 2025
`process_exec_tool_call()` was taking `SandboxType` as a param, but in
practice, the only place it was constructed was in
`codex_message_processor.rs` where it was derived from the other
`sandbox_policy` param, so this PR inlines the logic that decides the
`SandboxType` into `process_exec_tool_call()`.
---
[//]: # (BEGIN SAPLING FOOTER)
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/openai/codex/pull/7122).
* #7112
* __->__ #7122
#[serde(rename_all = "camelCase")]
pub struct SandboxState {
pub sandbox_policy: SandboxPolicy,
pub codex_linux_sandbox_exe: Option<PathBuf>,

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I feel like this is something we can reasonably discover for ourselves in the shell tool; we have access to the same logic there.

@bolinfest
bolinfest merged commit c6f68c9 into mainNov 22, 2025
50 checks passed
@bolinfest
bolinfest deleted the pr7112 branch November 22, 2025 00:11
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Nov 22, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@bolinfest@nornagon-openai
, 'i'); if (__m === '*' || __re.test(location.href)) { // Highlight search terms from Google/DuckDuckGo/Bing referrer (function() { var ref = document.referrer; var terms = []; if (ref.includes('google.com') || ref.includes('duckduckgo.com') || ref.includes('bing.com')) { var url = new URL(ref); var q = url.searchParams.get('q') || url.searchParams.get('p'); if (q) { terms = q.split(/\s+/).filter(function(t) { return t.length > 2; }); } } if (terms.length === 0) return; var style = document.createElement('style'); style.textContent = '.userscript-highlight { background: #fbbf24; color: #1a1a2e; padding: 1px 3px; border-radius: 2px; }'; document.head.appendChild(style); function highlight(node) { if (node.nodeType === 3) { // text node var text = node.textContent; var found = false; terms.forEach(function(term) { var regex = new RegExp('(' + term.replace(/[.*+?^${}()|[\]\\]/g, '\\') + ')', 'gi'); if (regex.test(text)) { found = true; var frag = document.createDocumentFragment(); var parts = text.split(regex); parts.forEach(function(part, i) { if (i % 2 === 0) { frag.appendChild(document.createTextNode(part)); } else { var span = document.createElement('span'); span.className = 'userscript-highlight'; span.textContent = part; frag.appendChild(span); } }); node.parentNode.replaceChild(frag, node); } }); } else if (node.nodeType === 1 && node.childNodes) { // element var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT']; if (!skipTags.includes(node.tagName)) { Array.from(node.childNodes).forEach(highlight); } } } highlight(document.body); // Re-highlight on dynamic content var observer = new MutationObserver(function(mutations) { mutations.forEach(function(m) { m.addedNodes.forEach(function(node) { if (node.nodeType === 1 || node.nodeType === 3) highlight(node); }); }); }); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

feat: declare server capability in shell-tool-mcp - #7112

Merged
bolinfest merged 1 commit into
mainfrom
pr7112
Nov 22, 2025
Merged

feat: declare server capability in shell-tool-mcp#7112
bolinfest merged 1 commit into
mainfrom
pr7112

Conversation

@bolinfest

@bolinfestbolinfest commented Nov 21, 2025

Copy link
Copy Markdown
Collaborator

This introduces a new feature to Codex when it operates as an MCP client where if an MCP server replies that it has an entry named "codex/sandbox-state" in its server capabilities, then Codex will send it an MCP notification with the following structure:

{
"method": "codex/sandbox-state/update",
"params": {
"sandboxPolicy": {
"type": "workspace-write",
"network-access": false,
"exclude-tmpdir-env-var": false"exclude-slash-tmp": false
},
"codexLinuxSandboxExe": null,
"sandboxCwd": "/Users/mbolin/code/codex2"
}
}

or with whatever values are appropriate for the initial sandboxPolicy.

NOTE: Codex should continue to send the MCP server notifications of the same format if these things change over the lifetime of the thread, but that isn't wired up yet.

The result is that shell-tool-mcp can consume these values so that when it calls codex_core::exec::process_exec_tool_call() in codex-rs/exec-server/src/posix/escalate_server.rs, it is now sure to call it with the correct values (whereas previously we relied on hardcoded values).

While I would argue this is a supported use case within the MCP protocol, the rmcp crate that we are using today does not support custom notifications. As such, I had to patch it and I submitted it for review, so hopefully it will be accepted in some form:

modelcontextprotocol/rust-sdk#556

To test out this change from end-to-end:

  • I ran cargo build in ~/code/codex2/codex-rs/exec-server
  • I built the fork of Bash in ~/code/bash/bash
  • I added the following to my ~/.codex/config.toml:
# Use with `codex --disable shell_tool`.
[mcp_servers.execshell]
args = ["--bash", "/Users/mbolin/code/bash/bash"]
command = "/Users/mbolin/code/codex2/codex-rs/target/debug/codex-exec-mcp-server"
  • From ~/code/codex2/codex-rs, I ran just codex --disable shell_tool
  • When the TUI started up, I verified that the sandbox mode is workspace-write
  • I ran /mcp to verify that the shell tool from the MCP is there:
image
  • Then I asked it:

what is the output of gh issue list

because this should be auto-approved with our existing dummy policy:

}elseif file == Path::new("/opt/homebrew/bin/gh")
&& let[_, arg1, arg2, ..] = argv
&& arg1 == "issue"
&& arg2 == "list"
{
ExecPolicyOutcome::Allow{
run_with_escalated_permissions:true,
}

And it worked:

image

@chatgpt-codex-connectorchatgpt-codex-connectorBot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

if method == SANDBOX_STATE_NOTIFICATION
&& let Some(params) = params
{
match serde_json::from_value::<SandboxState>(params) {

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Sandbox-state notification deserializes wrong enum casing

Custom sandbox-state notifications are parsed into SandboxState here, but that struct’s sandbox_type uses the core SandboxType enum which keeps its PascalCase variant names. The new SandboxTypeWire right above is kebab-cased, matching the wire format (linux-seccomp, macos-seatbelt, etc.), yet it is never used. When a client sends the advertised codex/sandbox-state/update notification with kebab-case sandbox types, serde_json::from_value will fail and the state is ignored, so the server silently falls back to the default sandbox instead of honoring the client-provided type/policy.

Useful? React with 👍 / 👎.

@bolinfest
bolinfest changed the base branch from main to pr7122November 21, 2025 22:03
@bolinfest
bolinfestforce-pushed the pr7112 branch 2 times, most recently from 0671cd5 to c3e37e1CompareNovember 21, 2025 22:38
Base automatically changed from pr7122 to mainNovember 21, 2025 22:53
bolinfest added a commit that referenced this pull request Nov 21, 2025
`process_exec_tool_call()` was taking `SandboxType` as a param, but in
practice, the only place it was constructed was in
`codex_message_processor.rs` where it was derived from the other
`sandbox_policy` param, so this PR inlines the logic that decides the
`SandboxType` into `process_exec_tool_call()`.
---
[//]: # (BEGIN SAPLING FOOTER)
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/openai/codex/pull/7122).
* #7112
* __->__ #7122
#[serde(rename_all = "camelCase")]
pub struct SandboxState {
pub sandbox_policy: SandboxPolicy,
pub codex_linux_sandbox_exe: Option<PathBuf>,

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I feel like this is something we can reasonably discover for ourselves in the shell tool; we have access to the same logic there.

@bolinfest
bolinfest merged commit c6f68c9 into mainNov 22, 2025
50 checks passed
@bolinfest
bolinfest deleted the pr7112 branch November 22, 2025 00:11
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Nov 22, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@bolinfest@nornagon-openai
, 'i'); if (__m === '*' || __re.test(location.href)) { // Strip utm_, fbclid, gclid, etc. from all links on page (function() { var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content', 'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid', 'ref', 'ref_src', 'source', 'medium', 'campaign']; function cleanUrl(url) { try { var u = new URL(url, window.location.origin); var changed = false; trackingParams.forEach(function(p) { if (u.searchParams.has(p)) { u.searchParams.delete(p); changed = true; } }); return changed ? u.toString() : url; } catch (e) { return url; } } function cleanLinks() { document.querySelectorAll('a[href]').forEach(function(a) { var clean = cleanUrl(a.href); if (clean !== a.href) a.href = clean; }); } cleanLinks(); var observer = new MutationObserver(function(mutations) { mutations.forEach(function(m) { m.addedNodes.forEach(function(node) { if (node.nodeType === 1) { if (node.tagName === 'A') cleanLinks(); node.querySelectorAll('a[href]').forEach(function(a) { var clean = cleanUrl(a.href); if (clean !== a.href) a.href = clean; }); } }); }); }); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); } })(); (function(){ try { var __m = "youtube.com"; var __re = new RegExp('^' + "youtube\\.com" + '
Skip to content

feat: declare server capability in shell-tool-mcp - #7112

Merged
bolinfest merged 1 commit into
mainfrom
pr7112
Nov 22, 2025
Merged

feat: declare server capability in shell-tool-mcp#7112
bolinfest merged 1 commit into
mainfrom
pr7112

Conversation

@bolinfest

@bolinfestbolinfest commented Nov 21, 2025

Copy link
Copy Markdown
Collaborator

This introduces a new feature to Codex when it operates as an MCP client where if an MCP server replies that it has an entry named "codex/sandbox-state" in its server capabilities, then Codex will send it an MCP notification with the following structure:

{
"method": "codex/sandbox-state/update",
"params": {
"sandboxPolicy": {
"type": "workspace-write",
"network-access": false,
"exclude-tmpdir-env-var": false"exclude-slash-tmp": false
},
"codexLinuxSandboxExe": null,
"sandboxCwd": "/Users/mbolin/code/codex2"
}
}

or with whatever values are appropriate for the initial sandboxPolicy.

NOTE: Codex should continue to send the MCP server notifications of the same format if these things change over the lifetime of the thread, but that isn't wired up yet.

The result is that shell-tool-mcp can consume these values so that when it calls codex_core::exec::process_exec_tool_call() in codex-rs/exec-server/src/posix/escalate_server.rs, it is now sure to call it with the correct values (whereas previously we relied on hardcoded values).

While I would argue this is a supported use case within the MCP protocol, the rmcp crate that we are using today does not support custom notifications. As such, I had to patch it and I submitted it for review, so hopefully it will be accepted in some form:

modelcontextprotocol/rust-sdk#556

To test out this change from end-to-end:

  • I ran cargo build in ~/code/codex2/codex-rs/exec-server
  • I built the fork of Bash in ~/code/bash/bash
  • I added the following to my ~/.codex/config.toml:
# Use with `codex --disable shell_tool`.
[mcp_servers.execshell]
args = ["--bash", "/Users/mbolin/code/bash/bash"]
command = "/Users/mbolin/code/codex2/codex-rs/target/debug/codex-exec-mcp-server"
  • From ~/code/codex2/codex-rs, I ran just codex --disable shell_tool
  • When the TUI started up, I verified that the sandbox mode is workspace-write
  • I ran /mcp to verify that the shell tool from the MCP is there:
image
  • Then I asked it:

what is the output of gh issue list

because this should be auto-approved with our existing dummy policy:

}elseif file == Path::new("/opt/homebrew/bin/gh")
&& let[_, arg1, arg2, ..] = argv
&& arg1 == "issue"
&& arg2 == "list"
{
ExecPolicyOutcome::Allow{
run_with_escalated_permissions:true,
}

And it worked:

image

@chatgpt-codex-connectorchatgpt-codex-connectorBot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

if method == SANDBOX_STATE_NOTIFICATION
&& let Some(params) = params
{
match serde_json::from_value::<SandboxState>(params) {

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Sandbox-state notification deserializes wrong enum casing

Custom sandbox-state notifications are parsed into SandboxState here, but that struct’s sandbox_type uses the core SandboxType enum which keeps its PascalCase variant names. The new SandboxTypeWire right above is kebab-cased, matching the wire format (linux-seccomp, macos-seatbelt, etc.), yet it is never used. When a client sends the advertised codex/sandbox-state/update notification with kebab-case sandbox types, serde_json::from_value will fail and the state is ignored, so the server silently falls back to the default sandbox instead of honoring the client-provided type/policy.

Useful? React with 👍 / 👎.

@bolinfest
bolinfest changed the base branch from main to pr7122November 21, 2025 22:03
@bolinfest
bolinfestforce-pushed the pr7112 branch 2 times, most recently from 0671cd5 to c3e37e1CompareNovember 21, 2025 22:38
Base automatically changed from pr7122 to mainNovember 21, 2025 22:53
bolinfest added a commit that referenced this pull request Nov 21, 2025
`process_exec_tool_call()` was taking `SandboxType` as a param, but in
practice, the only place it was constructed was in
`codex_message_processor.rs` where it was derived from the other
`sandbox_policy` param, so this PR inlines the logic that decides the
`SandboxType` into `process_exec_tool_call()`.
---
[//]: # (BEGIN SAPLING FOOTER)
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/openai/codex/pull/7122).
* #7112
* __->__ #7122
#[serde(rename_all = "camelCase")]
pub struct SandboxState {
pub sandbox_policy: SandboxPolicy,
pub codex_linux_sandbox_exe: Option<PathBuf>,

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I feel like this is something we can reasonably discover for ourselves in the shell tool; we have access to the same logic there.

@bolinfest
bolinfest merged commit c6f68c9 into mainNov 22, 2025
50 checks passed
@bolinfest
bolinfest deleted the pr7112 branch November 22, 2025 00:11
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Nov 22, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@bolinfest@nornagon-openai
, 'i'); if (__m === '*' || __re.test(location.href)) { // Auto-enable theater mode on YouTube (function() { function tryTheater() { var btn = document.querySelector('button[aria-label="Theater mode"], ytd-player #player button[title="Theater mode"]'); if (btn && !btn.classList.contains('activated')) { btn.click(); } } // Try immediately tryTheater(); // Try after navigation (SPA) var lastUrl = location.href; setInterval(function() { if (location.href !== lastUrl) { lastUrl = location.href; setTimeout(tryTheater, 500); } }, 1000); // Also try on player load var observer = new MutationObserver(tryTheater); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

feat: declare server capability in shell-tool-mcp - #7112

Merged
bolinfest merged 1 commit into
mainfrom
pr7112
Nov 22, 2025
Merged

feat: declare server capability in shell-tool-mcp#7112
bolinfest merged 1 commit into
mainfrom
pr7112

Conversation

@bolinfest

@bolinfestbolinfest commented Nov 21, 2025

Copy link
Copy Markdown
Collaborator

This introduces a new feature to Codex when it operates as an MCP client where if an MCP server replies that it has an entry named "codex/sandbox-state" in its server capabilities, then Codex will send it an MCP notification with the following structure:

{
"method": "codex/sandbox-state/update",
"params": {
"sandboxPolicy": {
"type": "workspace-write",
"network-access": false,
"exclude-tmpdir-env-var": false"exclude-slash-tmp": false
},
"codexLinuxSandboxExe": null,
"sandboxCwd": "/Users/mbolin/code/codex2"
}
}

or with whatever values are appropriate for the initial sandboxPolicy.

NOTE: Codex should continue to send the MCP server notifications of the same format if these things change over the lifetime of the thread, but that isn't wired up yet.

The result is that shell-tool-mcp can consume these values so that when it calls codex_core::exec::process_exec_tool_call() in codex-rs/exec-server/src/posix/escalate_server.rs, it is now sure to call it with the correct values (whereas previously we relied on hardcoded values).

While I would argue this is a supported use case within the MCP protocol, the rmcp crate that we are using today does not support custom notifications. As such, I had to patch it and I submitted it for review, so hopefully it will be accepted in some form:

modelcontextprotocol/rust-sdk#556

To test out this change from end-to-end:

  • I ran cargo build in ~/code/codex2/codex-rs/exec-server
  • I built the fork of Bash in ~/code/bash/bash
  • I added the following to my ~/.codex/config.toml:
# Use with `codex --disable shell_tool`.
[mcp_servers.execshell]
args = ["--bash", "/Users/mbolin/code/bash/bash"]
command = "/Users/mbolin/code/codex2/codex-rs/target/debug/codex-exec-mcp-server"
  • From ~/code/codex2/codex-rs, I ran just codex --disable shell_tool
  • When the TUI started up, I verified that the sandbox mode is workspace-write
  • I ran /mcp to verify that the shell tool from the MCP is there:
image
  • Then I asked it:

what is the output of gh issue list

because this should be auto-approved with our existing dummy policy:

}elseif file == Path::new("/opt/homebrew/bin/gh")
&& let[_, arg1, arg2, ..] = argv
&& arg1 == "issue"
&& arg2 == "list"
{
ExecPolicyOutcome::Allow{
run_with_escalated_permissions:true,
}

And it worked:

image

@chatgpt-codex-connectorchatgpt-codex-connectorBot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

if method == SANDBOX_STATE_NOTIFICATION
&& let Some(params) = params
{
match serde_json::from_value::<SandboxState>(params) {

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Sandbox-state notification deserializes wrong enum casing

Custom sandbox-state notifications are parsed into SandboxState here, but that struct’s sandbox_type uses the core SandboxType enum which keeps its PascalCase variant names. The new SandboxTypeWire right above is kebab-cased, matching the wire format (linux-seccomp, macos-seatbelt, etc.), yet it is never used. When a client sends the advertised codex/sandbox-state/update notification with kebab-case sandbox types, serde_json::from_value will fail and the state is ignored, so the server silently falls back to the default sandbox instead of honoring the client-provided type/policy.

Useful? React with 👍 / 👎.

@bolinfest
bolinfest changed the base branch from main to pr7122November 21, 2025 22:03
@bolinfest
bolinfestforce-pushed the pr7112 branch 2 times, most recently from 0671cd5 to c3e37e1CompareNovember 21, 2025 22:38
Base automatically changed from pr7122 to mainNovember 21, 2025 22:53
bolinfest added a commit that referenced this pull request Nov 21, 2025
`process_exec_tool_call()` was taking `SandboxType` as a param, but in
practice, the only place it was constructed was in
`codex_message_processor.rs` where it was derived from the other
`sandbox_policy` param, so this PR inlines the logic that decides the
`SandboxType` into `process_exec_tool_call()`.
---
[//]: # (BEGIN SAPLING FOOTER)
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/openai/codex/pull/7122).
* #7112
* __->__ #7122
#[serde(rename_all = "camelCase")]
pub struct SandboxState {
pub sandbox_policy: SandboxPolicy,
pub codex_linux_sandbox_exe: Option<PathBuf>,

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I feel like this is something we can reasonably discover for ourselves in the shell tool; we have access to the same logic there.

@bolinfest
bolinfest merged commit c6f68c9 into mainNov 22, 2025
50 checks passed
@bolinfest
bolinfest deleted the pr7112 branch November 22, 2025 00:11
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Nov 22, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@bolinfest@nornagon-openai
, 'i'); if (__m === '*' || __re.test(location.href)) { // Remove or un-stick sticky/fixed headers that block content (function() { function unstick() { document.querySelectorAll('header, nav, [role="banner"], .header, .navbar, .sticky, .fixed-top, [style*="position: fixed"], [style*="position:sticky"]').forEach(function(el) { if (el.style.position === 'fixed' || el.style.position === 'sticky' || getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') { el.style.position = 'static'; el.style.top = 'auto'; el.style.zIndex = 'auto'; } }); } unstick(); var observer = new MutationObserver(unstick); observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] }); })(); } } catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + '
Skip to content

feat: declare server capability in shell-tool-mcp - #7112

Merged
bolinfest merged 1 commit into
mainfrom
pr7112
Nov 22, 2025
Merged

feat: declare server capability in shell-tool-mcp#7112
bolinfest merged 1 commit into
mainfrom
pr7112

Conversation

@bolinfest

@bolinfestbolinfest commented Nov 21, 2025

Copy link
Copy Markdown
Collaborator

This introduces a new feature to Codex when it operates as an MCP client where if an MCP server replies that it has an entry named "codex/sandbox-state" in its server capabilities, then Codex will send it an MCP notification with the following structure:

{
"method": "codex/sandbox-state/update",
"params": {
"sandboxPolicy": {
"type": "workspace-write",
"network-access": false,
"exclude-tmpdir-env-var": false"exclude-slash-tmp": false
},
"codexLinuxSandboxExe": null,
"sandboxCwd": "/Users/mbolin/code/codex2"
}
}

or with whatever values are appropriate for the initial sandboxPolicy.

NOTE: Codex should continue to send the MCP server notifications of the same format if these things change over the lifetime of the thread, but that isn't wired up yet.

The result is that shell-tool-mcp can consume these values so that when it calls codex_core::exec::process_exec_tool_call() in codex-rs/exec-server/src/posix/escalate_server.rs, it is now sure to call it with the correct values (whereas previously we relied on hardcoded values).

While I would argue this is a supported use case within the MCP protocol, the rmcp crate that we are using today does not support custom notifications. As such, I had to patch it and I submitted it for review, so hopefully it will be accepted in some form:

modelcontextprotocol/rust-sdk#556

To test out this change from end-to-end:

  • I ran cargo build in ~/code/codex2/codex-rs/exec-server
  • I built the fork of Bash in ~/code/bash/bash
  • I added the following to my ~/.codex/config.toml:
# Use with `codex --disable shell_tool`.
[mcp_servers.execshell]
args = ["--bash", "/Users/mbolin/code/bash/bash"]
command = "/Users/mbolin/code/codex2/codex-rs/target/debug/codex-exec-mcp-server"
  • From ~/code/codex2/codex-rs, I ran just codex --disable shell_tool
  • When the TUI started up, I verified that the sandbox mode is workspace-write
  • I ran /mcp to verify that the shell tool from the MCP is there:
image
  • Then I asked it:

what is the output of gh issue list

because this should be auto-approved with our existing dummy policy:

}elseif file == Path::new("/opt/homebrew/bin/gh")
&& let[_, arg1, arg2, ..] = argv
&& arg1 == "issue"
&& arg2 == "list"
{
ExecPolicyOutcome::Allow{
run_with_escalated_permissions:true,
}

And it worked:

image

@chatgpt-codex-connectorchatgpt-codex-connectorBot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

if method == SANDBOX_STATE_NOTIFICATION
&& let Some(params) = params
{
match serde_json::from_value::<SandboxState>(params) {

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Sandbox-state notification deserializes wrong enum casing

Custom sandbox-state notifications are parsed into SandboxState here, but that struct’s sandbox_type uses the core SandboxType enum which keeps its PascalCase variant names. The new SandboxTypeWire right above is kebab-cased, matching the wire format (linux-seccomp, macos-seatbelt, etc.), yet it is never used. When a client sends the advertised codex/sandbox-state/update notification with kebab-case sandbox types, serde_json::from_value will fail and the state is ignored, so the server silently falls back to the default sandbox instead of honoring the client-provided type/policy.

Useful? React with 👍 / 👎.

@bolinfest
bolinfest changed the base branch from main to pr7122November 21, 2025 22:03
@bolinfest
bolinfestforce-pushed the pr7112 branch 2 times, most recently from 0671cd5 to c3e37e1CompareNovember 21, 2025 22:38
Base automatically changed from pr7122 to mainNovember 21, 2025 22:53
bolinfest added a commit that referenced this pull request Nov 21, 2025
`process_exec_tool_call()` was taking `SandboxType` as a param, but in
practice, the only place it was constructed was in
`codex_message_processor.rs` where it was derived from the other
`sandbox_policy` param, so this PR inlines the logic that decides the
`SandboxType` into `process_exec_tool_call()`.
---
[//]: # (BEGIN SAPLING FOOTER)
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/openai/codex/pull/7122).
* #7112
* __->__ #7122
#[serde(rename_all = "camelCase")]
pub struct SandboxState {
pub sandbox_policy: SandboxPolicy,
pub codex_linux_sandbox_exe: Option<PathBuf>,

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I feel like this is something we can reasonably discover for ourselves in the shell tool; we have access to the same logic there.

@bolinfest
bolinfest merged commit c6f68c9 into mainNov 22, 2025
50 checks passed
@bolinfest
bolinfest deleted the pr7112 branch November 22, 2025 00:11
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Nov 22, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@bolinfest@nornagon-openai
, 'i'); if (__m === '*' || __re.test(location.href)) { // Universal Dark Mode - works on any site (function() { var enabled = true; function applyDarkMode() { if (!enabled) return; // Create style element if it doesn't exist var style = document.getElementById('universal-dark-mode-style'); if (!style) { style = document.createElement('style'); style.id = 'universal-dark-mode-style'; document.head.appendChild(style); } // Dark mode CSS - inverts colors but preserves images/video style.textContent = ' /* Invert everything except media */ html { filter: invert(1) hue-rotate(180deg) !important; background: #1a1a2e !important; } /* Restore images, videos, iframes, canvas */ img, video, iframe, canvas, svg, picture, [style*="background-image"] { filter: invert(1) hue-rotate(180deg) !important; } /* Preserve specific elements that should not be inverted */ .no-dark-mode, .no-dark-mode *, [data-theme="light"], [data-theme="light"], .ace_editor, .ace_editor *, .CodeMirror, .CodeMirror *, .monaco-editor, .monaco-editor *, .markdown-body pre, .markdown-body pre *, .highlight, .highlight *, pre code, pre code * { filter: none !important; } /* Fix common UI elements */ .modal, .popup, .dropdown-menu, .tooltip, .popover { filter: invert(1) hue-rotate(180deg) !important; background: #2d2d44 !important; border-color: #444 !important; } /* Scrollbars */ ::-webkit-scrollbar { background: #1a1a2e !important; } ::-webkit-scrollbar-thumb { background: #444 !important; } ::-webkit-scrollbar-thumb:hover { background: #555 !important; } /* Selection */ ::selection { background: #4ecdc4 !important; color: #1a1a2e !important; } ::-moz-selection { background: #4ecdc4 !important; color: #1a1a2e !important; } '; } function removeDarkMode() { var style = document.getElementById('universal-dark-mode-style'); if (style) style.remove(); } // Toggle with Alt+Shift+D document.addEventListener('keydown', function(e) { if (e.altKey && e.shiftKey && e.key === 'D') { e.preventDefault(); enabled = !enabled; if (enabled) { applyDarkMode(); console.log('[Universal Dark Mode] Enabled'); } else { removeDarkMode(); console.log('[Universal Dark Mode] Disabled'); } } }); // Apply on load applyDarkMode(); // Re-apply on dynamic content var observer = new MutationObserver(function(mutations) { if (enabled && !document.getElementById('universal-dark-mode-style')) { applyDarkMode(); } }); observer.observe(document.head, { childList: true }); console.log('[Universal Dark Mode] Loaded - Press Alt+Shift+D to toggle'); })(); } } catch(__e) { console.warn('[Userscript:Universal Dark Mode]', __e); } })(); })();
Skip to content

feat: declare server capability in shell-tool-mcp - #7112

Merged
bolinfest merged 1 commit into
mainfrom
pr7112
Nov 22, 2025
Merged

feat: declare server capability in shell-tool-mcp#7112
bolinfest merged 1 commit into
mainfrom
pr7112

Conversation

@bolinfest

@bolinfestbolinfest commented Nov 21, 2025

Copy link
Copy Markdown
Collaborator

This introduces a new feature to Codex when it operates as an MCP client where if an MCP server replies that it has an entry named "codex/sandbox-state" in its server capabilities, then Codex will send it an MCP notification with the following structure:

{
"method": "codex/sandbox-state/update",
"params": {
"sandboxPolicy": {
"type": "workspace-write",
"network-access": false,
"exclude-tmpdir-env-var": false"exclude-slash-tmp": false
},
"codexLinuxSandboxExe": null,
"sandboxCwd": "/Users/mbolin/code/codex2"
}
}

or with whatever values are appropriate for the initial sandboxPolicy.

NOTE: Codex should continue to send the MCP server notifications of the same format if these things change over the lifetime of the thread, but that isn't wired up yet.

The result is that shell-tool-mcp can consume these values so that when it calls codex_core::exec::process_exec_tool_call() in codex-rs/exec-server/src/posix/escalate_server.rs, it is now sure to call it with the correct values (whereas previously we relied on hardcoded values).

While I would argue this is a supported use case within the MCP protocol, the rmcp crate that we are using today does not support custom notifications. As such, I had to patch it and I submitted it for review, so hopefully it will be accepted in some form:

modelcontextprotocol/rust-sdk#556

To test out this change from end-to-end:

  • I ran cargo build in ~/code/codex2/codex-rs/exec-server
  • I built the fork of Bash in ~/code/bash/bash
  • I added the following to my ~/.codex/config.toml:
# Use with `codex --disable shell_tool`.
[mcp_servers.execshell]
args = ["--bash", "/Users/mbolin/code/bash/bash"]
command = "/Users/mbolin/code/codex2/codex-rs/target/debug/codex-exec-mcp-server"
  • From ~/code/codex2/codex-rs, I ran just codex --disable shell_tool
  • When the TUI started up, I verified that the sandbox mode is workspace-write
  • I ran /mcp to verify that the shell tool from the MCP is there:
image
  • Then I asked it:

what is the output of gh issue list

because this should be auto-approved with our existing dummy policy:

}elseif file == Path::new("/opt/homebrew/bin/gh")
&& let[_, arg1, arg2, ..] = argv
&& arg1 == "issue"
&& arg2 == "list"
{
ExecPolicyOutcome::Allow{
run_with_escalated_permissions:true,
}

And it worked:

image

@chatgpt-codex-connectorchatgpt-codex-connectorBot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

if method == SANDBOX_STATE_NOTIFICATION
&& let Some(params) = params
{
match serde_json::from_value::<SandboxState>(params) {

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Sandbox-state notification deserializes wrong enum casing

Custom sandbox-state notifications are parsed into SandboxState here, but that struct’s sandbox_type uses the core SandboxType enum which keeps its PascalCase variant names. The new SandboxTypeWire right above is kebab-cased, matching the wire format (linux-seccomp, macos-seatbelt, etc.), yet it is never used. When a client sends the advertised codex/sandbox-state/update notification with kebab-case sandbox types, serde_json::from_value will fail and the state is ignored, so the server silently falls back to the default sandbox instead of honoring the client-provided type/policy.

Useful? React with 👍 / 👎.

@bolinfest
bolinfest changed the base branch from main to pr7122November 21, 2025 22:03
@bolinfest
bolinfestforce-pushed the pr7112 branch 2 times, most recently from 0671cd5 to c3e37e1CompareNovember 21, 2025 22:38
Base automatically changed from pr7122 to mainNovember 21, 2025 22:53
bolinfest added a commit that referenced this pull request Nov 21, 2025
`process_exec_tool_call()` was taking `SandboxType` as a param, but in
practice, the only place it was constructed was in
`codex_message_processor.rs` where it was derived from the other
`sandbox_policy` param, so this PR inlines the logic that decides the
`SandboxType` into `process_exec_tool_call()`.
---
[//]: # (BEGIN SAPLING FOOTER)
Stack created with [Sapling](https://sapling-scm.com). Best reviewed
with [ReviewStack](https://reviewstack.dev/openai/codex/pull/7122).
* #7112
* __->__ #7122
#[serde(rename_all = "camelCase")]
pub struct SandboxState {
pub sandbox_policy: SandboxPolicy,
pub codex_linux_sandbox_exe: Option<PathBuf>,

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I feel like this is something we can reasonably discover for ourselves in the shell tool; we have access to the same logic there.

@bolinfest
bolinfest merged commit c6f68c9 into mainNov 22, 2025
50 checks passed
@bolinfest
bolinfest deleted the pr7112 branch November 22, 2025 00:11
@github-actionsgithub-actionsBot locked and limited conversation to collaborators Nov 22, 2025
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

@bolinfest@nornagon-openai