boj_github_search_issues
Search GitHub issues and pull requests to find relevant discussions and contributions using a query-based approach.
Instructions
Search issues and PRs on GitHub
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| query | Yes |
Implementation Reference
- mcp-bridge/main.js:259-260 (handler)The handler logic for 'boj_github_search_issues' which calls the GitHub search issues API.
case "boj_github_search_issues": return githubApiCall("GET", `/search/issues?q=${encodeURIComponent(args.query)}`); - mcp-bridge/main.js:541-544 (registration)Definition and registration of the tool in the MCP tool list.
{ name: "boj_github_search_issues", desc: "Search issues and PRs on GitHub", props: { query: { type: "string" } }, req: ["query"] }, { name: "boj_github_get_file", desc: "Get file contents from a repo", props: { owner: { type: "string" }, repo: { type: "string" }, path: { type: "string" }, ref: { type: "string" } }, req: ["owner", "repo", "path"] }, { name: "boj_github_graphql", desc: "Execute a GitHub GraphQL query", props: { query: { type: "string" }, variables: { type: "object" } }, req: ["query"] }, ];