load_arxiv_paper
Download an arXiv paper and build its theorem dependency graph for analysis.
Instructions
Download an arXiv source project and build its theorem graph.
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": {
"arxiv_id": "<arxiv_id>"
},
"name": "load_arxiv_paper"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| refresh | No | ||
| arxiv_id | Yes | ||
| main_file | No |