Skip to content

Repository navigation

fix(github-mcp): rank the requested tool first in pi's tool_search - #16

Merged
Martin Bens (SpiGAndromeda) merged 1 commit into
mainfrom
fix/pi-tool-search-ranking
Oct 3, 2026
Merged

fix(github-mcp): rank the requested tool first in pi's tool_search#16
Martin Bens (SpiGAndromeda) merged 1 commit into
mainfrom
fix/pi-tool-search-ranking

fix(github-mcp): rank the requested tool first in pi's tool_search

5708fad
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar