search_docs
Search and retrieve relevant documentation efficiently by specifying a query, filtering by document category, and controlling the number of results.
Instructions
Search documentation
Input Schema
Name | Required | Description | Default |
---|---|---|---|
doc_name | No | Filter by document category | |
max_results | No | Maximum number of results | |
offset | No | Number of results to skip | |
query | Yes | Search query |
Input Schema (JSON Schema)
{
"properties": {
"doc_name": {
"description": "Filter by document category",
"type": "string"
},
"max_results": {
"default": 3,
"description": "Maximum number of results",
"type": "number"
},
"offset": {
"default": 0,
"description": "Number of results to skip",
"type": "number"
},
"query": {
"description": "Search query",
"type": "string"
}
},
"required": [
"query"
],
"type": "object"
}