[pull] main from github:main - #19

Merged

pull[bot] merged 3 commits into

Pet3cy:mainfrom

Oct 7, 2025

Commits on Oct 7, 2025

Consolidating pull requests `get` tools (#1172)
almaleksia
authored
d0d4b0e
Revert "Add flexibility around server instructions for search-related tools (…" (#1187)
tommaso-moro
authored
94b3d72
Fix binary files retrieval (#1183)
kerobbi
authored
dee5927