Skip to content

feat(index): match underscore-delimited tool-name segments in search - #1535

Merged
Dumbris merged 2 commits into
mainfrom
fix/issues-w5b7-internal-index-bm25-query
Oct 6, 2026
Merged

Dumbris merged 2 commits into
mainfrom
fix/issues-w5b7-internal-index-bm25-query

Commits

  1. Commits on Oct 6, 2026