workspace_get_source_slice
Retrieve the surrounding source text for a specific span, result, or proof to examine its context within a paper's dependency graph.
Instructions
Return bounded source text around one span, result, or proof.
Tool call template
This tool declares no required parameters. Add optional parameters from the input schema as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {},
"name": "workspace_get_source_slice"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| context | No | ||
| span_id | No | ||
| proof_id | No | ||
| result_id | No |