doc_list
Lists or searches documentation library, returning page numbers for hits to guide subsequent doc_text or doc_page calls.
Instructions
List or search the documentation library. Text hits include the page number, so a following doc_text or doc_page call can go straight to the right place.
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": "doc_list"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | ||
| query | No | Words to look for in titles, file names, tags, notes and the documents' text; omit to list everything. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| query | No | ||
| total | Yes | ||
| library | Yes | The documentation library directory, relative to the workspace. | |
| documents | Yes |