internal/agent/tools/sourcegraph.md
Search code across public GitHub repositories via Sourcegraph; supports regex, language/repo/file filters, and symbol search (max 20 results). Only searches public repos.
<usage> - Provide search query using Sourcegraph syntax - Optional result count (default: 10, max: 20) - Optional timeout for request </usage><basic_syntax>
<key_filters> Repository: repo:name, repo:^exact$, repo:org/repo@branch, -repo:exclude, fork:yes, archived:yes, visibility:public File: file:.js$, file:internal/, -file:test, file:has.content(text) Content: content:"exact", -content:"unwanted", case:yes Type: type:symbol, type:file, type:path, type:diff, type:commit Time: after:"1 month ago", before:"2023-01-01", author:name, message:"fix" Result: select:repo, select:file, select:content, count:100, timeout:30s </key_filters>
<examples> - "file:.go context.WithTimeout" - Go code using context.WithTimeout - "lang:typescript useState type:symbol" - TypeScript React useState hooks - "repo:^github\.com/kubernetes/kubernetes$ pod list type:file" - Kubernetes pod files - "file:Dockerfile (alpine OR ubuntu) -content:alpine:latest" - Dockerfiles with base images </examples><boolean_operators>