release(v8.9.6): Codex MCP integration + stdio banner fix

sil3d · sil3d · commit 8ace6d34ac43 · 2026-07-31T00:39:08.000Z
Codex Desktop / CLI is now a fully supported MATHIR client, on par with Claude Code, OpenCode, and MiMoCode. Three independent layers each fixed end-to-end and documented with portable templates. **MCP server crash fix (root cause)** FastMCP 3.4.4 prints a 15-line colored ASCII banner on stdout at mcp.run(). For MCP-over-stdio, stdout is the JSON-RPC channel; the banner corrupted the framing and every MCP host reading JSON-RPC straight off stdout silently registered zero tools. Discovered live by Codex itself, patched with mcp.run(show_banner=False) in mathir_mcp_server.py:1490, then propagated to the repo per guardrail-sync-deployed-daemon. **Codex integration (3 layers)** A — MCP server: docs/CODEX_INTEGRATION.md walks through the absolute-path config.toml block, fixes the ~ expansion bug, fixes the missing-python- on-PATH bug, and adds startup_timeout_sec for parity with node_repl. B — auto-inject hook: ~/.codex/hooks.json reuses the existing claude_code_hook.py (zero changes needed; shared with Claude Code). C — transparent proxy: shell_environment_policy.set forwards OPENAI_BASE_URL=http://127.0.0.1:7339/v1 so Codex itself routes through the universal proxy (target=api.openai.com per the auto_start.bat fix). **Portable templates** (mathir_mcp/codex_templates/) - hooks.json — drop-in for ~/.codex/hooks.json (user replaces <YOU>). - config.toml.snippet — TOML blocks for ~/.codex/config.toml (user replaces <ABS_PYTHON> and <HOME>). - README.md — explains the placeholders + links to the integration guide. **Versioning** 8.9.5 -> 8.9.6 in: - pyproject.toml - mathir_mcp/__init__.py - mathir_mcp/mathir_lib/__init__.py Deployed copies synced per guardrail-sync-deployed-daemon. Daemon /health now reports version=8.9.6 live (config/mathir.json version field also bumped; daemon re-reads on every /health call so no restart required). **Hygiene** - .gitignore now ignores /hooks.json (root-level, machine-specific) and nul/NUL (Windows reserved-name artifact). - mathir_mcp/bin/auto_start.bat proxy target switched from anthropic.com -> openai.com so Codex, Cursor, Cline, Continue, and any other OpenAI-Chat-Completions-compat client works out of the box. Claude Code is unaffected (uses the UserPromptSubmit hook, not the proxy). - Two CHANGELOG.md bumps (top-level + sub-component) for [8.9.6]. - New docs/CODEX_INTEGRATION.md (16 KB, full setup + autostart + 3-layer troubleshooting walk-through + cheat sheet). - New mathir_mcp/docs/troubleshooting/codex-mcp-tools-invisible-three-layers.md (incident narrative cross-linked from the integration guide). - New mathir_mcp/docs/troubleshooting/codex-mcp-path-expansion.md (cause + fix + deliberate no-portable-alternative violation explained).
diff --git a/.gitignore b/.gitignore
@@ -78,10 +78,22 @@ daemon_*.txt
 # MiMoCode local state (plans, node_modules)
 .mimocode/
 
+# Codex local settings (contains machine-specific python paths + hook commands).
+# Use mathir_mcp/codex_templates/ for the shareable templates instead.
+.codex/
+/hooks.json
+
+# OpenCode plugin / config (machine-specific)
+# (already covered via .claude/ pattern elsewhere if needed)
+
 # Superpowers (agent scratch dirs)
 .superpowers/
 superpowers/
 
+# Windows PowerShell `> nul` artifact (reserved device name)
+nul
+NUL
+
 # Editor
 .vscode/
 .idea/
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -8,6 +8,16 @@ Format follows [Keep a Changelog](https://keepachangelog.com/en/1.0.0/).
 
 ---
 
+## [8.9.6] — 2026-07-31 — CODEX MCP INTEGRATION + STDIO BANNER FIX
+
+### Fixed
+- **Codex MCP stdio banner crash** — `mathir_mcp/mathir_lib/mathir_mcp_server.py:1490`: `mcp.run()` → `mcp.run(show_banner=False)`. FastMCP 3.4.4 prints a large colored ASCII banner to **stdout** at startup; MCP-over-stdio uses stdout for JSON-RPC, so the banner corrupted the framing and Codex silently registered zero tools from this server. Full 3-layer failure walk-through in [`mathir_mcp/docs/troubleshooting/codex-mcp-tools-invisible-three-layers.md`](mathir_mcp/docs/troubleshooting/codex-mcp-tools-invisible-three-layers.md). See also [`docs/CODEX_INTEGRATION.md`](docs/CODEX_INTEGRATION.md) for the full Codex↔MATHIR setup guide (config + proxy + hook + autostart).
+
+### Added
+- **Codex integration guide** — [`docs/CODEX_INTEGRATION.md`](docs/CODEX_INTEGRATION.md): how to install, configure `~/.codex/config.toml` (MCP server + `OPENAI_BASE_URL` proxy + `[shell_environment_policy.set]` forwarding), wire the auto-inject hook, survive reboots via the scheduler tasks, and what to do when `mcp__mathir__*` tools don't appear.
+
+---
+
 ## [8.9.5] — 2026-07-21 — AUTONOMOUS MAINTENANCE + HEADLESS GOD-MODE WORKERS
 
 **mathir_mcp package work — full detail in [mathir_mcp/CHANGELOG.md](mathir_mcp/CHANGELOG.md#895--2026-07-21--autonomous-maintenance--headless-god-mode-workers).**
diff --git a/docs/CODEX_INTEGRATION.md b/docs/CODEX_INTEGRATION.md
diff --git a/mathir_mcp/CHANGELOG.md b/mathir_mcp/CHANGELOG.md
@@ -1,5 +1,16 @@
 # MATHIR Changelog
 
+## [8.9.6] — 2026-07-31 — CODEX MCP STDIO BANNER FIX + INTEGRATION GUIDE
+
+### Fixed
+- **`mathir_mcp_server.py:1490`** — `mcp.run()` → `mcp.run(show_banner=False)`. FastMCP 3.4.4 prints a large colored ASCII banner to **stdout** at startup; for MCP-over-stdio this corrupts JSON-RPC framing and any MCP host reading JSON-RPC straight off stdout silently fails to register any tool (Codex, in particular). stderr is unaffected, so daemon `logging` and 3-layer cache logs still appear. First symptom reported live: "MCP server `mathir` is configured but `mcp__mathir__*` tools never appear in Codex's tool list." Discovered and patched by Codex's own session, then propagated to source repo per `guardrail-sync-deployed-daemon`.
+
+### Notes
+- This is the **third** layer of three separate MCP-server-for-Codex failures
+  encountered on 2026-07-31 (the other two were `~` not expanded in MCP env
+  vars, and Codex's child process not inheriting `python` on PATH).
+- Documentation: `docs/troubleshooting/codex-mcp-tools-invisible-three-layers.md`.
+
 ## [8.9.5] — 2026-07-21 — AUTONOMOUS MAINTENANCE + HEADLESS GOD-MODE WORKERS
 
 ### Added
diff --git a/mathir_mcp/__init__.py b/mathir_mcp/__init__.py
@@ -14,6 +14,6 @@
 Console scripts (after ``pip install -e .``):
     mathir-daemon, mathir-mcp, mathir-client, mathir-watchdog
 """
-__version__ = "8.9.5"
+__version__ = "8.9.6"
 
 __all__ = ["__version__"]
diff --git a/mathir_mcp/bin/auto_start.bat b/mathir_mcp/bin/auto_start.bat
@@ -91,8 +91,8 @@ REM ---- Launch universal proxy detached (best-effort, non-fatal) -------------
 REM Missing script or missing flask/waitress must never block the daemon
 REM launch above — this section only ever adds capability, never breaks it.
 if exist "%PROXY_PATH%" (
-    start "MATHIR_PROXY" /B "%PYTHON_PATH%" "%PROXY_PATH%" --port %PROXY_PORT% --target https://api.anthropic.com >> "%PROXY_LOG_PATH%" 2>&1
-    echo [%date% %time%] Proxy launch requested (port %PROXY_PORT%, see mathir_proxy.log) >> "%LOG_PATH%"
+    start "MATHIR_PROXY" /B "%PYTHON_PATH%" "%PROXY_PATH%" --port %PROXY_PORT% --target https://api.openai.com >> "%PROXY_LOG_PATH%" 2>&1
+    echo [%date% %time%] Proxy launch requested (port %PROXY_PORT%, target=api.openai.com, see mathir_proxy.log) >> "%LOG_PATH%"
 )
 
 endlocal & exit /b 0
diff --git a/mathir_mcp/codex_templates/README.md b/mathir_mcp/codex_templates/README.md
@@ -0,0 +1,32 @@
+# Codex Templates
+
+Portable templates for connecting Codex Desktop / CLI to MATHIR.
+
+## Files
+
+- **`hooks.json`** — drop-in replacement for `~/.codex/hooks.json`. Replace `<YOU>` with your username (Windows) or `<USER>` (macOS/Linux), or use the dedicated `claude_code_hook.py` path from your install.
+
+- **`config.toml.snippet`** — TOML blocks to merge into your existing `~/.codex/config.toml`. Replace the placeholders:
+  - `<ABS_PYTHON>` — the absolute path of the Python interpreter that should run the MCP server. Verify with `where.exe python` (Windows) or `which python3` (macOS/Linux). If you use a conda/venv, point at that interpreter specifically.
+  - `<HOME>` — your home directory as a Windows backslash path on Windows (`C:\\Users\\<YOU>`) or POSIX path on macOS/Linux (`/Users/<USER>` or `/home/<USER>`).
+
+## Why a template and not a copy?
+
+The Codex `config.toml` and `hooks.json` accept **absolute paths only** because Codex (Electron) does not shell-expand `~` in MCP env vars and does not always inherit `PATH`. Hardcoding any user's path in the template would be misleading.
+
+The official setup guide ([docs/CODEX_INTEGRATION.md](../../../docs/CODEX_INTEGRATION.md)) walks through the substitutions and the three layers of integration.
+
+## What lives where after install
+
+| Template field | Resolves to (after substitution) |
+|---|---|
+| `<ABS_PYTHON>` | `C:\Users\<YOU>\miniconda3\python.exe` (or wherever `where.exe python` finds first) |
+| `<HOME>\.config\MATHIR\mathir_mcp\mathir_lib\mathir_mcp_server.py` | the deployed mathir_mcp_server.py |
+| `<HOME>\.config\MATHIR\config\mathir.json` | the daemon runtime config |
+| `<HOME>\.config\MATHIR\mathir_mcp\mathir_lib` | the deployed mathir_lib directory (PYTHONPATH for the MCP server) |
+| `<HOME>\.config\MATHIR\mathir_mcp\bin\claude_code_hook.py` | the auto-inject hook shared with Claude Code |
+
+## Related docs
+
+- [`../../../docs/CODEX_INTEGRATION.md`](../../../docs/CODEX_INTEGRATION.md) — full setup guide (config + autostart + troubleshooting, all 3 layers).
+- [`../troubleshooting/codex-mcp-tools-invisible-three-layers.md`](../troubleshooting/codex-mcp-tools-invisible-three-layers.md) — incident narrative for the 3-layer failure that broke Codex MCP until `mcp.run(show_banner=False)`.
diff --git a/mathir_mcp/codex_templates/config.toml.snippet b/mathir_mcp/codex_templates/config.toml.snippet
@@ -0,0 +1,57 @@
+# ============================================================================
+# Codex MCP + auto-inject + proxy configuration for MATHIR
+# ----------------------------------------------------------------------------
+# This is a TEMPLATE — every line that needs a per-user substitution uses the
+# placeholder `<YOU>` (Windows) or `<USER>` (macOS/Linux).
+#
+# How to use this on a fresh box:
+#   1. Find your Python interpreter:
+#        Windows : `where.exe python`
+#        macOS   : `which python3` (or use a venv interpreter)
+#      Then replace `<ABS_PYTHON>` below with that absolute path.
+#   2. Replace every `<YOU>` / `<USER>` with your username.
+#   3. Merge this into your existing `~/.codex/config.toml` (do not overwrite).
+#   4. Quit Codex fully (not just close the chat) and relaunch.
+#   5. Verify by asking Codex "liste tes outils MCP" — you should see
+#      mcp__mathir__memory_recall, mcp__mathir__memory_save, etc.
+#
+# Troubleshooting: see ../../../docs/CODEX_INTEGRATION.md
+#                  and troubleshooting/codex-mcp-tools-invisible-three-layers.md
+# ============================================================================
+
+# ---------------------------------------------------------------------------
+# Layer A — MCP server (the 27 tools)
+# ---------------------------------------------------------------------------
+[mcp_servers.mathir]
+# IMPORTANT: use ABSOLUTE python path. Codex (Electron) does not always
+# inherit your shell's PATH for MCP child processes, so `command = "python"`
+# silently resolves to nothing and 0 tools show up.
+command = "<ABS_PYTHON>"
+args = ["<HOME>\\.config\\MATHIR\\mathir_mcp\\mathir_lib\\mathir_mcp_server.py"]
+startup_timeout_sec = 30
+
+[mcp_servers.mathir.env]
+MATHIR_EMBEDDING_DIM = "384"
+MATHIR_PORT = "7338"
+MATHIR_DAEMON_URL = "http://127.0.0.1:7338"
+# IMPORTANT: absolute paths in env vars, NOT `~/.config/...`. Codex does NOT
+# shell-expand `~` in MCP env vars before passing them to Python. If you use
+# `~`, `from mathir_paths import CONFIG_PATH` crashes silently and you get 0 tools.
+MATHIR_CONFIG = "<HOME>\\.config\\MATHIR\\config\\mathir.json"
+PYTHONPATH = "<HOME>\\.config\\MATHIR\\mathir_mcp\\mathir_lib"
+
+# ---------------------------------------------------------------------------
+# Layer B — auto-inject hook (prompt-time context)
+# ---------------------------------------------------------------------------
+# Drop hooks.json from this same directory into `~/.codex/hooks.json` (full
+# template also provided). No TOML changes needed for this.
+
+# ---------------------------------------------------------------------------
+# Layer C — transparent OpenAI proxy (optional)
+# ---------------------------------------------------------------------------
+# Adds `OPENAI_BASE_URL` to Codex's env forwarding. `/v1` is mandatory:
+# OpenAI SDK adds `/chat/completions` to your base_url, and its default
+# already includes `/v1` (per guardrail-base-url-v1-convention).
+[shell_environment_policy.set]
+OPENAI_BASE_URL = "http://127.0.0.1:7339/v1"
+MATHIR_PROXY_PORT = "7339"
diff --git a/mathir_mcp/codex_templates/hooks.json b/mathir_mcp/codex_templates/hooks.json
@@ -0,0 +1,14 @@
+{
+  "hooks": {
+    "UserPromptSubmit": [
+      {
+        "hooks": [
+          {
+            "type": "command",
+            "command": "python \"C:\\Users\\<YOU>\\.config\\MATHIR\\mathir_mcp\\bin\\claude_code_hook.py\""
+          }
+        ]
+      }
+    ]
+  }
+}
diff --git a/mathir_mcp/docs/troubleshooting/codex-mcp-path-expansion.md b/mathir_mcp/docs/troubleshooting/codex-mcp-path-expansion.md
@@ -0,0 +1,56 @@
+# Codex MCP Server Path Expansion Pitfall (Windows) — 2026-07-31
+
+## Symptom
+Codex says "I see MCP servers in settings but the mathir tools aren't exposed" — the
+configured MCP server silently fails to start (no error visible in Codex UI).
+
+## Root cause (verified by reproducing)
+The previous config used shell-style `~` expansion in MCP env vars:
+
+```toml
+[mcp_servers.mathir.env]
+MATHIR_CONFIG = "~/.config/MATHIR/config/mathir.json"
+PYTHONPATH    = "~/.config/MATHIR/mathir_mcp/mathir_lib"
+```
+
+On Windows, **Codex's MCP spawn does NOT expand `~` before passing env vars to the child
+process**. Python then interprets `~/.config/MATHIR/...` literally:
+- `sys.path` contains `'D:\\...\\~\\.config\\MATHIR\\mathir_mcp\\mathir_lib'` (joined to CWD)
+- `from mathir_paths import CONFIG_PATH` → `ModuleNotFoundError`
+- The MCP server exits before its first stdio handshake → Codex sees "no tools"
+
+Verified empirically:
+```bash
+$ PYTHONPATH='~/.config/MATHIR/mathir_mcp/mathir_lib' python -c \
+    "from mathir_paths import CONFIG_PATH"
+# ModuleNotFoundError: No module named 'mathir_paths'
+$ PYTHONPATH='C:\\Users\\princ\\.config\\MATHIR\\mathir_mcp\\mathir_lib' python -c \
+    "from mathir_paths import CONFIG_PATH"
+# OK — CONFIG_PATH = C:\Users\princ\.config\MATHIR\config\mathir.json
+```
+
+## Fix applied
+Replaced `~/.config/MATHIR/...` with `C:\\Users\\princ\\.config\\MATHIR\\...` (absolute
+Win path with escaped backslashes) in `~/.codex/config.toml` `[mcp_servers.mathir.env]`.
+Also added `MATHIR_DAEMON_URL = "http://127.0.0.1:7338"` for consistency.
+
+## IMPORTANT VIOLATION (acceptable for Codex only)
+This is a deliberate violation of `guardrail-mcp-config-no-hardcoded-user` because
+Codex's MCP env-vars do not expand `%USERPROFILE%` (cmd.exe feature, not a Node.js
+process-env feature) NOR `~` (shell feature, not a Python expanduser feature at the
+env-var level). All other MATHIR scripts/files stay portable — only `~/.codex/config.toml`
+bears the hardcoded `C:\Users\princ` because there is no portable alternative for
+Codex MCP env vars on Windows.
+
+## Action required from user
+Open a NEW Codex task to pick up the env change (Codex doesn't hot-reload MCP servers).
+Confirm by asking Codex to list MCP tools — should see 27 (mathir_dashboard etc.).
+
+## Related
+- Codex binary: `C:\Users\princ\AppData\Local\OpenAI\Codex\bin\*\codex.exe`
+- Codex config: `C:\Users\princ\.codex\config.toml`
+- Codex hooks: `C:\Users\princ\.codex\hooks.json` (uses `python ...claude_code_hook.py`,
+  works fine since path is absolute)
+- Pre-existing bak: `config.toml.mathir-bad-inject-20260730-2335.bak` (17784 bytes —
+  earlier failed injection attempt — unrelated, keep as-is)
+- New backup made during this fix: `config.toml.bak.codex-mcp-fix-20260731`
diff --git a/mathir_mcp/docs/troubleshooting/codex-mcp-tools-invisible-three-layers.md b/mathir_mcp/docs/troubleshooting/codex-mcp-tools-invisible-three-layers.md
@@ -0,0 +1,138 @@
+# Codex MCP Tools Invisible — Three-Layer Path to Root Cause
+
+Symptom: "MCP server `mathir` is configured but `mcp__mathir__*` tools never appear
+in Codex's tool list, even after restart."
+
+This went through **three** distinct failures before resolving. Documenting
+each so the next agent doesn't burn the same time.
+
+> **Companion doc**: [`../../../docs/CODEX_INTEGRATION.md`](../../../docs/CODEX_INTEGRATION.md) — full setup guide (install + config + autostart + cheat sheet).
+> This file is the incident narrative; the integration guide is the canonical reference.
+
+---
+
+## Layer 1: `~` not expanded in MCP env vars on Windows
+
+**Symptom**: `from mathir_paths import CONFIG_PATH` fails inside the MCP server
+stdio loop, server crashes silently, Codex sees "no tools".
+
+**Cause**: Codex's MCP process spawn does **not** shell-expand `~` in env
+vars before passing them to the child. Python's `os.path.expanduser()` only
+works for paths encountered *inside* Python, not for env vars at startup.
+
+**Evidence**:
+```bash
+$ PYTHONPATH='~/.config/MATHIR/mathir_mcp/mathir_lib' python -c \
+    "from mathir_paths import CONFIG_PATH"
+ModuleNotFoundError: No module named 'mathir_paths'
+# Python interpreted it as relative to CWD, joined → D:\path\~\.config\...
+
+$ PYTHONPATH='C:\\Users\\princ\\.config\\MATHIR\\mathir_mcp\\mathir_lib' \
+    python -c "from mathir_paths import CONFIG_PATH"
+OK — CONFIG_PATH = C:\Users\princ\.config\MATHIR\config\mathir.json
+```
+
+**Fix**: replace all `~/.config/MATHIR/...` paths in `~/.codex/config.toml`
+`[mcp_servers.mathir.env]` block with absolute `C:\Users\princ\...` paths.
+Use escaped backslashes in TOML double-quoted strings:
+`"C:\\\\Users\\\\princ\\\\..."`.
+
+---
+
+## Layer 2: `python` not on PATH for Codex's child process
+
+**Symptom**: even after fixing `~` paths, MCP server still not exposed.
+
+**Cause**: Codex (Electron) doesn't inherit the user's PATH for MCP
+subprocesses the same way cmd does. `command = "python"` fails to resolve.
+
+**Fix**: use absolute Python path:
+```toml
+command = "C:\\Users\\princ\\miniconda3\\python.exe"
+args = ["C:\\Users\\princ\\.config\\MATHIR\\mathir_mcp\\mathir_lib\\mathir_mcp_server.py"]
+startup_timeout_sec = 30
+```
+
+`startup_timeout_sec` is added in the same pattern as `[mcp_servers.node_repl]`
+for safety.
+
+---
+
+## Layer 3 (the actual root cause): FastMCP banner on stdout
+
+**Symptom**: STILL no `mcp__mathir__*` tools after fixing layers 1+2 and
+restarting Codex.
+
+**Cause**: FastMCP 3.4.4 prints a large colored ASCII-art banner on **stdout**
+at `mcp.run()`. MCP-over-stdio uses stdout for JSON-RPC frames, so this
+corrupts the framing and the host's `initialize` or `tools/list` handshake
+silently fails before the server even gets to enumerate tools.
+
+**Evidence** (only visible when you actually run the server with stdio piped):
+```
++-----------------------------------------------------------------------------+
+|                        ▄▀▀ ▄▀▀█ █▀▀█ ▀▄▄ █▀▀█ █▄▄▀ ...                        |
+|                                 FastMCP 3.4.4                                |
+|                             https://gofastmcp.com                            |
+|                  🖥  Server:      mathir-mcp, 3.4.4                           |
+|                  🚀 Deploy free: https://horizon.prefect.io                  |
++-----------------------------------------------------------------------------+
+[07/31/26 00:27:56] INFO     Starting MCP server 'mathir-mcp'
+                             with transport 'stdio'
+```
+
+**Fix**: `mathir_mcp_server.py:1490`
+```python
+# before:
+mcp.run()
+# after:
+mcp.run(show_banner=False)
+```
+
+stderr logging is unaffected. All daemon / cache / sanitizer messages still
+visible on stderr.
+
+---
+
+## Verification of the layered fix
+
+With all three fixes applied:
+1. Run server with the exact command Codex uses:
+   ```bash
+   C:\Users\princ\miniconda3\python.exe \
+       C:\Users\princ\.config\MATHIR\mathir_mcp\mathir_lib\mathir_mcp_server.py \
+       < initialize.json + tools/list.json > response.json
+   ```
+   Returns 27 tools, zero stdout banner, valid JSON-RPC.
+2. Restart Codex Desktop fully (not just new task — kill the Electron process).
+3. Codex's tools/list now contains `mcp__mathir__memory_recall`, `memory_save`,
+   `mathir_health`, etc.
+
+---
+
+## Related lessons
+
+- **Codex caches MCP server config at process startup.** Editing
+  `~/.codex/config.toml` does nothing until the Codex process is killed
+  and relaunched. "Open new task" is NOT sufficient.
+- **stderr vs stdout in MCP stdio**: only stdout is the JSON-RPC channel.
+  Anything that writes to stdout at any point in the server's lifetime
+  breaks framing. Always run stdio MCP servers with `show_banner=False`,
+  `print(..., file=sys.stderr)`, and never `print()` for any reason.
+- **guardrail-sync-deployed-daemon**: when Codex patched only the deployed
+  copy of `mathir_mcp_server.py`, the source-of-truth repo still had the
+  bug. A subsequent `pip install -e .` or `git pull` would silently undo
+  the fix. Always propagate MCP-server fixes back to the repo immediately.
+
+## Files touched in this incident
+
+- `~/.codex/config.toml` — added `[mcp_servers.mathir]` block (3 fix passes)
+- `~/.codex/config.toml.bak.codex-mcp-fix-20260731` — backup after pass 1
+- `~/.codex/config.toml.bak.codex-mcp-fix-20260731-pre-python` — backup after pass 2
+- `~/.codex/config.toml.mathir-bad-inject-20260730-2335.bak` — pre-existing
+- `~/.codex/hooks.json` — pre-existing, points at `claude_code_hook.py` (works)
+- `mathir_mcp/mathir_lib/mathir_mcp_server.py:1490` — `mcp.run(show_banner=False)`
+  in BOTH repo and deployed copies
+- `mathir_mcp/CHANGELOG.md` — Unreleased entry added
+- `mathir_mcp/bin/auto_start.bat` — proxy target changed `anthropic.com` → `openai.com`
+  (Codex uses OpenAI-format Chat Completions, not Anthropic-format)
diff --git a/mathir_mcp/mathir_lib/__init__.py b/mathir_mcp/mathir_lib/__init__.py
@@ -18,7 +18,7 @@
 from pathlib import Path
 import os
 
-__version__ = "8.9.5"
+__version__ = "8.9.6"
 
 # Tier taxonomy - SINGLE SOURCE OF TRUTH. Matches the enum in
 # mathir_mcp_server.py (memory_save tool schema) and the JSON schema in TOOLS.
diff --git a/mathir_mcp/mathir_lib/mathir_mcp_server.py b/mathir_mcp/mathir_lib/mathir_mcp_server.py
@@ -1487,7 +1487,7 @@ def main() -> None:
     log.info(f"MATHIR MCP Server v3.1.0 (thin proxy to daemon at {DAEMON_URL})")
     log.info("No embedder loaded — daemon handles all embedding.")
     log.info("Prompts capability enabled: mathir_session_start, mathir_recall")
-    mcp.run()
+    mcp.run(show_banner=False)
 
 
 if __name__ == "__main__":
diff --git a/mathir_mcp/pyproject.toml b/mathir_mcp/pyproject.toml
