GitHub

Interact with GitHub using the REST API.

Use when

• Repositories ("Find Kotlin repos", "My repos")
• Issues ("Open issues on X")
• Pull requests

Don't use when

• General web search (use research)
• Git concepts without GitHub context
• Non-GitHub code hosting

Authentication

For private repos, check memory for GITHUB_TOKEN. Public repos work without token (lower rate limit).

API Endpoints

Search repos (no auth)

javascript
1web_fetch({
2  url: "https://api.github.com/search/repositories?q=language:kotlin+stars:>1000"
3})

With auth

javascript
1web_fetch({
2  url: "https://api.github.com/user/repos",
3  headers: {
4    "Authorization": "Bearer {TOKEN}",
5    "Accept": "application/vnd.github+json"
6  }
7})

Rate Limits

• Unauthenticated: 60 req/hour
• Authenticated: 5,000 req/hour