tool_get_extensions
Retrieve student extensions for a specific Gradescope assignment, displaying user IDs, names, and modified dates for instructor or TA access.
Instructions
Get all student extensions for a specific assignment.
Returns a table of extensions with user ID, name, and modified dates.
Requires instructor or TA access.
Args:
course_id: The Gradescope course ID.
assignment_id: The assignment ID.
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": {
"course_id": "<course_id>",
"assignment_id": "<assignment_id>"
},
"name": "tool_get_extensions"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| course_id | Yes | ||
| assignment_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |