Search pdf texts
search_pdf_textsFind the pages of articles read with formulas (read_pdf_text) that hold every word asked — a name, a term, a fragment of TeX such as '\pi_{n+k}'. Each hit: the file's id and name, its wiki page, the page of the PDF and a snippet. Only files on pages you may read. For the project's issues, pages and other files use find_issues / search_wiki.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"query": "<query>"
},
"name": "search_pdf_texts"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | How many pages, at most 30. Default 10. | |
| query | Yes | Words to find, all of them. | |
| project | No | Project key. Optional. |