Skip to content

fix(search): match non-contiguous underscore segments - #1291

Merged
Dumbris merged 2 commits into
smart-mcp-proxy:mainfrom
neylwalecki:codex/search-underscore-tool-segments
Sep 17, 2026
Merged

Dumbris merged 2 commits into
smart-mcp-proxy:mainfrom
neylwalecki:codex/search-underscore-tool-segments

Commits

Commits on Sep 16, 2026

Commits on Sep 17, 2026