workspace_export_result_reading_context
Export focused evidence context for a result to aid reading its proof. Provide a result ID to get the relevant theorem and lemma dependencies from the paper graph.
Instructions
Export focused evidence context for reading one result's proof.
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": {
"result_id": "<result_id>"
},
"name": "workspace_export_result_reading_context"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result_id | Yes |