Update saved progress
mark_progressRecord the learner's progress server-side (shows on their account + syncs across devices). Call when a section is genuinely completed (section_id), or after a boss battle (boss='passed'/'failed', boss_attempt=true), or on a lab status change (lab=...).
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": "<course>",
"module": "<module>"
},
"name": "mark_progress"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| lab | No | ||
| boss | No | ||
| course | Yes | ||
| module | Yes | ||
| auth_token | No | ||
| section_id | No | ||
| boss_attempt | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||