feat: add MCP server instructions for tool search support#941

Merged

aaronsteers merged 3 commits intomainfrom

devin/1768432632-add-server-instructions

Jan 15, 2026

Commits on Jan 14, 2026

feat: add MCP server instructions for tool search support

devin-ai-integration[bot]
and
aaronsteers
committed
Apply suggestion from @aaronsteers
aaronsteers
authored

Commits on Jan 15, 2026

Merge branch 'main' into devin/1768432632-add-server-instructions
aaronsteers
authored