メニュー
Search GitHub code, repositories, issues, and PRs via MCP
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
SOC 職業分類に基づく
Create git commits with user approval and no Claude attribution
Create or update continuity ledger for state preservation across clears
Create handoff document for transferring work to another session
Generate comprehensive PR descriptions following repository templates
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
Search Mathlib for lemmas by type signature pattern
| name | github-search |
| description | Search GitHub code, repositories, issues, and PRs via MCP |
| allowed-tools | ["Bash","Read"] |
uv run python -m runtime.harness scripts/mcp/github_search.py \
--type "code" \
--query "your search query"
--type: Search type - code, repos, issues, prs--query: Search query (supports GitHub search syntax)--owner: (optional) Filter by repo owner--repo: (optional) Filter by repo name# Search code
uv run python -m runtime.harness scripts/mcp/github_search.py \
--type "code" \
--query "authentication language:python"
# Search issues
uv run python -m runtime.harness scripts/mcp/github_search.py \
--type "issues" \
--query "bug label:critical" \
--owner "anthropics"
Requires github server in mcp_config.json with GITHUB_PERSONAL_ACCESS_TOKEN.