fetch_corpus
Fetch grounding sources directly from their GitHub repos into the corpus, for deployments without local checkouts. Supports fetching a specific source or all sources; reindex afterward.
Instructions
Fetch grounding sources live from their canonical GitHub repos into corpus/, for deployments without local checkouts.
source: fetch just one logical source by name; empty fetches every GitHub-backed source. CommunityData is not fetched here (needs Tapis auth; see corpus_status for the command). Run reindex after.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "fetch_corpus"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| source | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||