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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged

aaronsteers merged 3 commits into main from devin/1768432632-add-server-instructions

Jan 15, 2026

Merged

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

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

GitHub Actions / PyTest Results (Fast Tests Only, No Creds) succeeded Jan 15, 2026 in 0s

All 348 tests pass in 5m 8s

348 tests +94 348 ✅ +95 5m 8s ⏱️ + 1m 49s
1 suites ± 0 0 💤 ± 0
1 files ± 0 0 ❌ - 1

Results for commit b14d26c. ± Comparison against earlier commit a6334e1.

View more details on GitHub Actions