workspace_list_results
List paginated theorem results by limit and offset, then advance offset by returned count until a page has fewer than limit items. Browse stable pages without assuming a complete list.
Instructions
List a stable result page (limit 1..100). Advance offset by returned count.
A full page may be truncated; continue until a page has fewer than limit results. This is not an unbounded complete list.
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_list_results"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| kind | No | ||
| limit | No | ||
| offset | No | ||
| paper_id | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |