chore(tools/sourcegraph): improve tool description
commit485ee03b74f9c45aad501e2a668dd758bef603ec
authorChristian Rocha <christian@rocha.is>
dateThu 9 Apr 2026, 12:24 (6 months ago)
parentf01e422
internal/agent/tools/sourcegraph.md+1−1
@@ -1,4 +1,4 @@
1−Search code across public repositories using Sourcegraph's GraphQL API.
1+Search code across public GitHub repositories via Sourcegraph; supports regex, language/repo/file filters, and symbol search (max 20 results). Only searches public repos.
22
33<usage>
44- Provide search query using Sourcegraph syntax