Get a source fragment
get_fragmentRetrieve a source fragment by its ID to view full text and its position in the source. Use it to open any fragment cited by other tools.
Instructions
Fetch one fragment by id with its full text and where it sits in its source. Every other tool cites fragment ids; this is how you open one.
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": {
"id": "<id>"
},
"name": "get_fragment"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| id | Yes | A fragment id, e.g. f-04. |