Home / Servers / Public Knowledge / github_search_repos

Github search repos

An MCP tool from the Public Knowledge server, hosted on mcp.hjlabs.in.

Search public GitHub repositories by keywords, with GitHub's qualifiers ("language:rust stars:>1000 topic:mcp"). Returns name, description, stars, language, last push and URL. The anonymous search API allows only about 10 searches a minute service-wide; results are cached for 30 minutes.

Name on the gateway: knowledge__github_search_repos · read-only.

Parameters

NameTypeDescription
query requiredstringSearch query with optional qualifiers.
sortbest_match | stars | forks | updatedOrder. Default best match.
limitintegerResults (default 10, max 50).

How to call it

Through the Smart Gateway, any client can run it by name with call_tool, or let the gateway find it with search_tools:

call_tool arguments
{
  "name": "knowledge__github_search_repos",
  "arguments": {
    "query": "…"
  }
}

Or connect the Public Knowledge server directly, which lists 47 tools including this one:

Run in your terminal
claude mcp add --transport http hj-knowledge https://mcp.hjlabs.in/mcp/knowledge \
  --header "Authorization: Bearer YOUR_API_KEY"

Try asking

Use the github search repos tool with query set to ….

More from Public Knowledge