File size: 705 Bytes
31c9f7d | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 | {
"name": "hf_doc_fetch",
"description": "Fetch a document from the Hugging Face or Gradio documentation library. For large documents, use offset to get subsequent chunks.",
"inputSchema": {
"type": "object",
"properties": {
"doc_url": {
"type": "string",
"maxLength": 200,
"description": "Documentation URL (Hugging Face or Gradio)"
},
"offset": {
"type": "number",
"minimum": 0,
"description": "Token offset for large documents (use the offset from truncation message)"
}
},
"required": [
"doc_url"
],
"additionalProperties": false,
"$schema": "http://json-schema.org/draft-07/schema#"
}
} |