Get Docs
get_docsRetrieve synced documentation from connected GitHub repositories by repo, path, or keyword; fetch a specific section with doc_id and section or chunk_id.
Instructions
Retrieve synced documentation from connected GitHub repositories. Filter by repo, file path pattern, or keyword search. Pass doc_id with section (a heading anchor) or chunk_id to retrieve just that section instead of the whole document.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | No | File path glob pattern (e.g., docs/adr/*.md) | |
| repo | No | Filter by repo (owner/repo format) | |
| doc_id | No | Specific document ID to retrieve full content | |
| search | No | Keyword search across document content | |
| section | No | Heading anchor (e.g. 'rollback-strategy') — with doc_id, returns just that section | |
| chunk_id | No | Section chunk id ('{path_hash}#{anchor}') from get_context — with doc_id, returns just that section |