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.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| context | No | ||
| span_id | No | ||
| proof_id | No | ||
| result_id | No |