Repository navigation

codex-local 11/11: local web search via DuckDuckGo MCP; disable server-side web_search - #15

Closed

ehrvs wants to merge 1 commit into

pr/10-preflightfrom

pr/11-websearch

Closed

codex-local 11/11: local web search via DuckDuckGo MCP; disable server-side web_search#15
ehrvs wants to merge 1 commit into
pr/10-preflightfrom
pr/11-websearch

Commits on Oct 15, 2026
- codex-local 11/11: local web search via DuckDuckGo MCP; disable server-side web_search
  
  ehrvs
  and
  claude
  committed
  c989338