Tool tree
gradeNot graded
get_agent_guideAnswer
Read a compact QuickMaths operating summary or request detailed tutoring, navigation, Bridge, backup, or custom-content policy only when needed.
View tool JSON
{
"name": "get_agent_guide",
"kind": "answer",
"impl": "imperative",
"description": "Read a compact QuickMaths operating summary or request detailed tutoring, navigation, Bridge, backup, or custom-content policy only when needed.",
"inputSchema": {
"type": "object",
"properties": {
"section": {
"type": "string",
"enum": [
"summary",
"tutoring",
"navigation",
"planning",
"educator",
"bridge",
"custom_content",
"backup",
"all"
],
"description": "Guide section; defaults to summary. Use all only when the complete operating manifest is needed."
}
},
"additionalProperties": false
},
"page": "/QuickMaths/"
}get_quickmaths_manualAnswer
Read the machine-readable learner or educator manual as a compact chapter index, one numbered chapter, or the complete Markdown source behind the published PDF.
View tool JSON
{
"name": "get_quickmaths_manual",
"kind": "answer",
"impl": "imperative",
"description": "Read the machine-readable learner or educator manual as a compact chapter index, one numbered chapter, or the complete Markdown source behind the published PDF.",
"inputSchema": {
"type": "object",
"properties": {
"audience": {
"type": "string",
"enum": [
"learner",
"educator"
],
"description": "Manual audience. Defaults to the active profile role, or learner in a fresh workspace."
},
"section": {
"type": "string",
"enum": [
"summary",
"all",
"1",
"2",
"3",
"4",
"5",
"6",
"7",
"8",
"9",
"10",
"11",
"12",
"13",
"14",
"15",
"16",
"17",
"18"
],
"description": "Defaults to summary. Use a chapter number for focused help and all only when the complete manual is necessary."
}
},
"additionalProperties": false
},
"page": "/QuickMaths/"
}get_lesson_authoring_guideAnswer
Read the bundled Agent Lesson Authoring Guide by topic before creating or modifying lesson packs, structured questions, fields, bridges, or native improvements.
View tool JSON
{
"name": "get_lesson_authoring_guide",
"kind": "answer",
"impl": "imperative",
"description": "Read the bundled Agent Lesson Authoring Guide by topic before creating or modifying lesson packs, structured questions, fields, bridges, or native improvements.",
"inputSchema": {
"type": "object",
"properties": {
"section": {
"type": "string",
"enum": [
"summary",
"envelope",
"native_improvements",
"curriculum_graph",
"questions",
"grading_and_work",
"media",
"studio",
"webmcp",
"publishing",
"all"
],
"description": "Guide section; defaults to summary. Request all only for a full authoring pass."
}
},
"additionalProperties": false
},
"page": "/QuickMaths/"
}get_app_stateAnswer
Read the current QuickMaths view, selected learner, timers, mastery counts, selected skill, and saved Plan presentation including layouts, paths, hidden lessons, and annotations.
View tool JSON
{
"name": "get_app_state",
"kind": "answer",
"impl": "imperative",
"description": "Read the current QuickMaths view, selected learner, timers, mastery counts, selected skill, and saved Plan presentation including layouts, paths, hidden lessons, and annotations.",
"inputSchema": {
"type": "object",
"properties": {},
"additionalProperties": false
},
"page": "/QuickMaths/"
}get_curriculum_mapAnswer
Read the combined installed-field prerequisite map, including statuses, field identities, bridges, and unlock relationships.
View tool JSON
{
"name": "get_curriculum_map",
"kind": "answer",
"impl": "imperative",
"description": "Read the combined installed-field prerequisite map, including statuses, field identities, bridges, and unlock relationships.",
"inputSchema": {
"type": "object",
"properties": {
"include_locked": {
"type": "boolean",
"description": "Include locked skills; defaults to true."
}
},
"additionalProperties": false
},
"page": "/QuickMaths/"
}get_progress_summaryAnswer
Read mastery totals, suggested next work, attempts, and misconception tags for the selected learner.
View tool JSON
{
"name": "get_progress_summary",
"kind": "answer",
"impl": "imperative",
"description": "Read mastery totals, suggested next work, attempts, and misconception tags for the selected learner.",
"inputSchema": {
"type": "object",
"properties": {},
"additionalProperties": false
},
"page": "/QuickMaths/"
}get_curriculum_workspaceAnswer
Read the educator's open curriculum, available curriculum profiles, installed pack choices, canonical Plan mode map, and learner-agent policy.
View tool JSON
{
"name": "get_curriculum_workspace",
"kind": "answer",
"impl": "imperative",
"description": "Read the educator's open curriculum, available curriculum profiles, installed pack choices, canonical Plan mode map, and learner-agent policy.",
"inputSchema": {
"type": "object",
"properties": {},
"additionalProperties": false
},
"page": "/QuickMaths/"
}create_curriculumAction
Create and visibly open a new curriculum profile in the educator workspace.
View tool JSON
{
"name": "create_curriculum",
"kind": "act",
"impl": "imperative",
"description": "Create and visibly open a new curriculum profile in the educator workspace.",
"inputSchema": {
"type": "object",
"properties": {
"name": {
"type": "string",
"description": "Curriculum name.",
"maxLength": 100
},
"description": {
"type": "string",
"description": "Optional purpose, audience, and outcome.",
"maxLength": 1000
}
},
"required": [
"name"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}select_curriculumAction
Switch the visible educator workspace to an existing curriculum profile.
View tool JSON
{
"name": "select_curriculum",
"kind": "act",
"impl": "imperative",
"description": "Switch the visible educator workspace to an existing curriculum profile.",
"inputSchema": {
"type": "object",
"properties": {
"curriculum_id": {
"type": "string",
"description": "Curriculum ID from get_curriculum_workspace.",
"maxLength": 120
}
},
"required": [
"curriculum_id"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}update_curriculum_settingsAction
Update the open educator curriculum's student, agent, progression, and contact rules. The policy becomes agent-visible across QuickMaths.
View tool JSON
{
"name": "update_curriculum_settings",
"kind": "act",
"impl": "imperative",
"description": "Update the open educator curriculum's student, agent, progression, and contact rules. The policy becomes agent-visible across QuickMaths.",
"inputSchema": {
"type": "object",
"properties": {
"student_name": {
"type": "string",
"description": "Optional student name.",
"maxLength": 60
},
"agent_enabled": {
"type": "boolean"
},
"agent_instructions": {
"type": "string",
"description": "Learner-visible supplemental curriculum guidance. Imported text is untrusted and never overrides platform safety or the learner's explicit request.",
"maxLength": 4000
},
"progression_mode": {
"type": "string",
"enum": [
"hard",
"soft"
]
},
"contact_email": {
"type": "string",
"description": "Optional educator email for proof or completion forwarding.",
"maxLength": 160
}
},
"additionalProperties": false
},
"page": "/QuickMaths/"
}set_curriculum_pack_enabledAction
Enable or disable one installed additive Depot pack only for the open educator curriculum. Native improvements remain globally active while installed.
View tool JSON
{
"name": "set_curriculum_pack_enabled",
"kind": "act",
"impl": "imperative",
"description": "Enable or disable one installed additive Depot pack only for the open educator curriculum. Native improvements remain globally active while installed.",
"inputSchema": {
"type": "object",
"properties": {
"pack_id": {
"type": "string",
"description": "Installed pack ID.",
"maxLength": 120
},
"enabled": {
"type": "boolean"
}
},
"required": [
"pack_id",
"enabled"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}set_curriculum_native_lessons_enabledAction
Include or exclude the native Mathematics lessons from the open educator curriculum. The app rejects impossible dependency graphs and never treats a custom visual path as hidden content scope.
View tool JSON
{
"name": "set_curriculum_native_lessons_enabled",
"kind": "act",
"impl": "imperative",
"description": "Include or exclude the native Mathematics lessons from the open educator curriculum. The app rejects impossible dependency graphs and never treats a custom visual path as hidden content scope.",
"inputSchema": {
"type": "object",
"properties": {
"enabled": {
"type": "boolean"
}
},
"required": [
"enabled"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}list_subjectsAnswer
Read every installed field, its theme-safe metadata, lesson count, and the field theme retained from the learner's most recently opened lesson.
View tool JSON
{
"name": "list_subjects",
"kind": "answer",
"impl": "imperative",
"description": "Read every installed field, its theme-safe metadata, lesson count, and the field theme retained from the learner's most recently opened lesson.",
"inputSchema": {
"type": "object",
"properties": {},
"additionalProperties": false
},
"page": "/QuickMaths/"
}list_fieldsAnswer
Read the Field → Branch → Lesson hierarchy visible in the current curriculum. Mathematics is a field; Geometry is a branch within it. Field IDs retain existing subject IDs.
View tool JSON
{
"name": "list_fields",
"kind": "answer",
"impl": "imperative",
"description": "Read the Field → Branch → Lesson hierarchy visible in the current curriculum. Mathematics is a field; Geometry is a branch within it. Field IDs retain existing subject IDs.",
"inputSchema": {
"type": "object",
"properties": {},
"additionalProperties": false
},
"page": "/QuickMaths/"
}list_branchesAnswer
Read field-scoped branch IDs, names, and lesson IDs. Identically named branches in different fields remain separate. Use the returned lesson IDs to navigate or author prerequisites.
View tool JSON
{
"name": "list_branches",
"kind": "answer",
"impl": "imperative",
"description": "Read field-scoped branch IDs, names, and lesson IDs. Identically named branches in different fields remain separate. Use the returned lesson IDs to navigate or author prerequisites.",
"inputSchema": {
"type": "object",
"properties": {
"field_id": {
"type": "string",
"description": "Optional field ID from list_fields; omit for all fields.",
"maxLength": 60
}
},
"additionalProperties": false
},
"page": "/QuickMaths/"
}set_learning_preferencesAction
Choose Hard or Open path. The mastery map permanently includes every installed field, and its field theme changes only when the learner opens a lesson or begins its test.
View tool JSON
{
"name": "set_learning_preferences",
"kind": "act",
"impl": "imperative",
"description": "Choose Hard or Open path. The mastery map permanently includes every installed field, and its field theme changes only when the learner opens a lesson or begins its test.",
"inputSchema": {
"type": "object",
"properties": {
"progression_mode": {
"type": "string",
"enum": [
"hard",
"soft"
]
}
},
"additionalProperties": false
},
"page": "/QuickMaths/"
}navigate_learning_appAction
Open a QuickMaths dashboard, learner map, educator Curriculum designer, lesson, test, results, Lesson Depot, Lesson studio, or Settings view. This changes the visible page.
View tool JSON
{
"name": "navigate_learning_app",
"kind": "act",
"impl": "imperative",
"description": "Open a QuickMaths dashboard, learner map, educator Curriculum designer, lesson, test, results, Lesson Depot, Lesson studio, or Settings view. This changes the visible page.",
"inputSchema": {
"type": "object",
"properties": {
"view": {
"type": "string",
"enum": [
"home",
"map",
"curriculum",
"lesson",
"test",
"results",
"depot",
"creator",
"settings",
"data"
]
},
"skill_id": {
"type": "string",
"description": "Optional skill to select when opening a lesson, test, or map.",
"maxLength": 60
}
},
"required": [
"view"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}set_map_plan_modeAction
Show the combined mastery map in its persistent editable Plan mode, or return to the default read-only Plan view. The human can separately toggle between Plan view and the untouched canonical map.
View tool JSON
{
"name": "set_map_plan_mode",
"kind": "act",
"impl": "imperative",
"description": "Show the combined mastery map in its persistent editable Plan mode, or return to the default read-only Plan view. The human can separately toggle between Plan view and the untouched canonical map.",
"inputSchema": {
"type": "object",
"properties": {
"enabled": {
"type": "boolean",
"description": "True opens the editable plan; false returns to the read-only saved Plan view."
}
},
"required": [
"enabled"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}arrange_map_plan_nodesAction
Move one or more lessons to absolute x/y canvas coordinates in the persistent visible Plan mode layout. Read current overrides from get_app_state.learning_plan.layouts.
View tool JSON
{
"name": "arrange_map_plan_nodes",
"kind": "act",
"impl": "imperative",
"description": "Move one or more lessons to absolute x/y canvas coordinates in the persistent visible Plan mode layout. Read current overrides from get_app_state.learning_plan.layouts.",
"inputSchema": {
"type": "object",
"properties": {
"positions": {
"type": "array",
"minItems": 1,
"maxItems": 80,
"description": "Lesson positions in free-canvas units; x and y must be between -20000 and 20000. Field bands are visual guides, not placement boundaries.",
"items": {
"type": "object",
"properties": {
"skill_id": {
"type": "string",
"description": "Installed lesson ID.",
"maxLength": 60
},
"x": {
"type": "number",
"minimum": -20000,
"maximum": 20000
},
"y": {
"type": "number",
"minimum": -20000,
"maximum": 20000
}
},
"required": [
"skill_id",
"x",
"y"
],
"additionalProperties": false
}
}
},
"required": [
"positions"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}set_map_plan_nodes_hiddenAction
Hide one or more lessons from the saved Plan presentation, or restore previously hidden lessons. Hidden lessons disappear from Plan mode and Plan view but remain in the curriculum and canonical mastery map.
View tool JSON
{
"name": "set_map_plan_nodes_hidden",
"kind": "act",
"impl": "imperative",
"description": "Hide one or more lessons from the saved Plan presentation, or restore previously hidden lessons. Hidden lessons disappear from Plan mode and Plan view but remain in the curriculum and canonical mastery map.",
"inputSchema": {
"type": "object",
"properties": {
"skill_ids": {
"type": "array",
"minItems": 1,
"maxItems": 80,
"description": "Lesson IDs to hide or restore in Plan mode.",
"items": {
"type": "string",
"description": "Installed lesson ID.",
"maxLength": 60
}
},
"hidden": {
"type": "boolean",
"description": "True hides the lessons from Plan mode; false restores them."
}
},
"required": [
"skill_ids",
"hidden"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}create_map_plan_pathAction
Create a persistent colored outline path through two or more installed lessons, in the supplied order, and show it selected in visible Plan mode.
View tool JSON
{
"name": "create_map_plan_path",
"kind": "act",
"impl": "imperative",
"description": "Create a persistent colored outline path through two or more installed lessons, in the supplied order, and show it selected in visible Plan mode.",
"inputSchema": {
"type": "object",
"properties": {
"skill_ids": {
"type": "array",
"minItems": 2,
"maxItems": 80,
"description": "Ordered lesson IDs; order becomes path order.",
"items": {
"type": "string",
"description": "Installed lesson ID.",
"maxLength": 60
}
},
"name": {
"type": "string",
"description": "Optional path name; a numbered name is used when omitted.",
"maxLength": 80
},
"color": {
"type": "string",
"pattern": "^#[0-9A-Fa-f]{6}$",
"description": "Six-digit outline color; defaults to #df755b."
}
},
"required": [
"skill_ids"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}add_map_plan_annotationAction
Add a persistent visible comment node connected to one or more selected lessons, or free on the map. A free comment defaults near the upper-left canvas when position is omitted.
View tool JSON
{
"name": "add_map_plan_annotation",
"kind": "act",
"impl": "imperative",
"description": "Add a persistent visible comment node connected to one or more selected lessons, or free on the map. A free comment defaults near the upper-left canvas when position is omitted.",
"inputSchema": {
"type": "object",
"properties": {
"body": {
"type": "string",
"description": "Annotation text shown on the map; plain text only.",
"maxLength": 1200
},
"skill_ids": {
"type": "array",
"maxItems": 80,
"description": "Optional lesson IDs to connect to the comment.",
"items": {
"type": "string",
"description": "Installed lesson ID.",
"maxLength": 60
}
},
"position": {
"type": "object",
"description": "Optional absolute comment position in free-canvas units.",
"properties": {
"x": {
"type": "number",
"minimum": -20000,
"maximum": 20000
},
"y": {
"type": "number",
"minimum": -20000,
"maximum": 20000
}
},
"required": [
"x",
"y"
],
"additionalProperties": false
}
},
"required": [
"body"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}open_lesson_creatorAction
Open the visible no-code Lesson Studio to create lessons, or prefill an editable native lesson improvement while preserving its ID and completed learner progress. Installing an improvement restarts affected unfinished tests; the human remains in control of validation and installation.
View tool JSON
{
"name": "open_lesson_creator",
"kind": "act",
"impl": "imperative",
"description": "Open the visible no-code Lesson Studio to create lessons, or prefill an editable native lesson improvement while preserving its ID and completed learner progress. Installing an improvement restarts affected unfinished tests; the human remains in control of validation and installation.",
"inputSchema": {
"type": "object",
"properties": {
"field_id": {
"type": "string",
"description": "Optional installed field ID for a new lesson set.",
"maxLength": 60
},
"subject_id": {
"type": "string",
"description": "Compatibility alias for field_id.",
"maxLength": 60
},
"skill_id": {
"type": "string",
"description": "Optional native lesson ID to open as a reversible editable improvement. Do not use for custom lessons.",
"maxLength": 60
}
},
"additionalProperties": false
},
"page": "/QuickMaths/"
}validate_lesson_setAction
Validate declarative QuickMaths lesson-set JSON for new lessons or reversible native improvements, including fields, bridges, graders, proof/rubric policies, graph cycles, and safety limits. This does not install anything.
View tool JSON
{
"name": "validate_lesson_set",
"kind": "act",
"impl": "imperative",
"description": "Validate declarative QuickMaths lesson-set JSON for new lessons or reversible native improvements, including fields, bridges, graders, proof/rubric policies, graph cycles, and safety limits. This does not install anything.",
"inputSchema": {
"type": "object",
"properties": {
"lesson_set_json": {
"type": "string",
"description": "Declarative QuickMaths lesson-set JSON. No scripts, HTML, generators, or executable code.",
"maxLength": 1800000
}
},
"required": [
"lesson_set_json"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}stage_custom_lesson_setAction
Validate and stage declarative lesson-set JSON in Settings, including mode override improvements to built-in lessons. This cannot install it: a human must review the visible preview and click Install.
View tool JSON
{
"name": "stage_custom_lesson_set",
"kind": "act",
"impl": "imperative",
"description": "Validate and stage declarative lesson-set JSON in Settings, including mode override improvements to built-in lessons. This cannot install it: a human must review the visible preview and click Install.",
"inputSchema": {
"type": "object",
"properties": {
"lesson_set_json": {
"type": "string",
"description": "Declarative QuickMaths lesson-set JSON to stage for human review.",
"maxLength": 1800000
}
},
"required": [
"lesson_set_json"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}search_lesson_depotAnswer
Search the merged official, federated-community, and directly subscribed Lesson Depot by title, author, field, or tag. Results contain metadata and provenance/trust signals only—never answer keys; availability says whether a result can be staged.
View tool JSON
{
"name": "search_lesson_depot",
"kind": "answer",
"impl": "imperative",
"description": "Search the merged official, federated-community, and directly subscribed Lesson Depot by title, author, field, or tag. Results contain metadata and provenance/trust signals only—never answer keys; availability says whether a result can be staged.",
"inputSchema": {
"type": "object",
"properties": {
"query": {
"type": "string",
"description": "Optional title, author, field, or tag search.",
"maxLength": 120
},
"subject_id": {
"type": "string",
"description": "Optional Depot field ID (compatible subject_id key).",
"maxLength": 60
},
"sort": {
"type": "string",
"enum": [
"popular",
"newest",
"name"
]
},
"limit": {
"type": "integer",
"minimum": 1,
"maximum": 50
}
},
"additionalProperties": false
},
"page": "/QuickMaths/"
}stage_depot_lessonAction
Download the exact package from its reported source, hash-check, validate, and stage it for visible human review. Concept-preview listings cannot be staged. This cannot install content; the learner must confirm installation in Settings.
View tool JSON
{
"name": "stage_depot_lesson",
"kind": "act",
"impl": "imperative",
"description": "Download the exact package from its reported source, hash-check, validate, and stage it for visible human review. Concept-preview listings cannot be staged. This cannot install content; the learner must confirm installation in Settings.",
"inputSchema": {
"type": "object",
"properties": {
"package_id": {
"type": "string",
"description": "Exact published PACK_* ID returned by search_lesson_depot.",
"maxLength": 60
},
"version": {
"type": "string",
"description": "Exact package version returned by search_lesson_depot.",
"maxLength": 40
}
},
"required": [
"package_id",
"version"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}stage_depot_lessonsAction
Download, hash-check, and validate an ordered batch of published Depot packages, then open a sequential Settings review queue. Every package still requires separate human approval before installation.
View tool JSON
{
"name": "stage_depot_lessons",
"kind": "act",
"impl": "imperative",
"description": "Download, hash-check, and validate an ordered batch of published Depot packages, then open a sequential Settings review queue. Every package still requires separate human approval before installation.",
"inputSchema": {
"type": "object",
"properties": {
"packages": {
"type": "array",
"minItems": 2,
"maxItems": 20,
"description": "Two to twenty exact published package identities in the order the human should review them.",
"items": {
"type": "object",
"properties": {
"package_id": {
"type": "string",
"description": "Exact published PACK_* ID returned by search_lesson_depot.",
"maxLength": 60
},
"version": {
"type": "string",
"description": "Exact package version returned by search_lesson_depot.",
"maxLength": 40
}
},
"required": [
"package_id",
"version"
],
"additionalProperties": false
}
}
},
"required": [
"packages"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}get_learning_contextAnswer
Read the selected lesson or active test without revealing expected answers or solution steps.
View tool JSON
{
"name": "get_learning_context",
"kind": "answer",
"impl": "imperative",
"description": "Read the selected lesson or active test without revealing expected answers or solution steps.",
"inputSchema": {
"type": "object",
"properties": {
"include_history": {
"type": "boolean",
"description": "Include up to five attempt summaries."
}
},
"additionalProperties": false
},
"page": "/QuickMaths/"
}start_skill_testAction
Create or resume a mastery test for an unlocked QuickMaths skill and open it on screen.
View tool JSON
{
"name": "start_skill_test",
"kind": "act",
"impl": "imperative",
"description": "Create or resume a mastery test for an unlocked QuickMaths skill and open it on screen.",
"inputSchema": {
"type": "object",
"properties": {
"skill_id": {
"type": "string",
"description": "An unlocked skill ID from the curriculum map.",
"maxLength": 60
}
},
"required": [
"skill_id"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}inspect_student_workAction
Inspect one response in the active test or visible saved attempt without exposing its answer key.
View tool JSON
{
"name": "inspect_student_work",
"kind": "act",
"impl": "imperative",
"description": "Inspect one response in the active test or visible saved attempt without exposing its answer key.",
"inputSchema": {
"type": "object",
"properties": {
"question_id": {
"type": "string",
"description": "Optional question ID; defaults to the first answered question.",
"maxLength": 120
}
},
"additionalProperties": false
},
"page": "/QuickMaths/"
}inspect_formal_proofAction
Read the exact public theorem, learner steps, Lean-established root steps and unresolved obligations. Never includes reference proofs, answer keys, proof artifacts or auto-solver strategies. Read again after edits; no verifier is invoked by this tool.
View tool JSON
{
"name": "inspect_formal_proof",
"kind": "act",
"impl": "imperative",
"description": "Read the exact public theorem, learner steps, Lean-established root steps and unresolved obligations. Never includes reference proofs, answer keys, proof artifacts or auto-solver strategies. Read again after edits; no verifier is invoked by this tool.",
"inputSchema": {
"type": "object",
"properties": {
"question_id": {
"type": "string",
"description": "Formal question in the active test; defaults to its first formal question.",
"maxLength": 120
}
},
"additionalProperties": false
},
"page": "/QuickMaths/"
}record_formal_guidanceAction
Select one Socratic question from inspect_formal_proof.guidance_options for the exact proof_revision. Cannot accept free-form solutions, proof steps, verdicts or certificates; cannot change grades or mastery. Stale guidance is rejected.
View tool JSON
{
"name": "record_formal_guidance",
"kind": "act",
"impl": "imperative",
"description": "Select one Socratic question from inspect_formal_proof.guidance_options for the exact proof_revision. Cannot accept free-form solutions, proof steps, verdicts or certificates; cannot change grades or mastery. Stale guidance is rejected.",
"inputSchema": {
"type": "object",
"properties": {
"question_id": {
"type": "string",
"description": "The inspected formal question.",
"maxLength": 120
},
"proof_revision": {
"type": "string",
"description": "Exact proof_revision from the latest inspection.",
"maxLength": 64
},
"guidance_id": {
"type": "string",
"description": "One guidance_options ID returned by that inspection.",
"maxLength": 80
}
},
"required": [
"question_id",
"proof_revision",
"guidance_id"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}record_tutor_feedbackAction
Save concise Socratic feedback beside the learner's work. Do not reveal the final answer.
View tool JSON
{
"name": "record_tutor_feedback",
"kind": "act",
"impl": "imperative",
"description": "Save concise Socratic feedback beside the learner's work. Do not reveal the final answer.",
"inputSchema": {
"type": "object",
"properties": {
"question_id": {
"type": "string",
"description": "The reviewed question ID.",
"maxLength": 120
},
"feedback": {
"type": "string",
"description": "One concise diagnosis or Socratic prompt.",
"maxLength": 1500
},
"mistake_tag": {
"type": "string",
"description": "A short misconception tag, or none.",
"maxLength": 80
},
"next_step": {
"type": "string",
"description": "One concrete next action for the learner.",
"maxLength": 300
},
"confidence": {
"type": "string",
"enum": [
"low",
"medium",
"high"
]
},
"verdict": {
"type": "string",
"enum": [
"pass",
"partial",
"needs_revision",
"fail"
]
},
"obligation_results": {
"type": "array",
"maxItems": 12,
"description": "For a proof, one status per obligation from inspect_student_work. Structured statuses determine the verdict.",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"description": "Exact obligation ID.",
"maxLength": 80
},
"status": {
"type": "string",
"enum": [
"satisfied",
"flawed",
"missing",
"not_applicable"
]
},
"note": {
"type": "string",
"description": "Evidence or revision note.",
"maxLength": 500
}
},
"required": [
"id",
"status"
],
"additionalProperties": false
}
},
"rubric_results": {
"type": "array",
"maxItems": 12,
"description": "For a rubric, one awarded score per criterion from inspect_student_work. Structured scores determine the verdict.",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"description": "Exact criterion ID.",
"maxLength": 80
},
"awarded_points": {
"type": "number",
"minimum": 0,
"maximum": 100
},
"note": {
"type": "string",
"description": "Evidence or revision note.",
"maxLength": 500
}
},
"required": [
"id",
"awarded_points"
],
"additionalProperties": false
}
}
},
"required": [
"question_id",
"feedback",
"next_step"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}create_followup_problemAction
Open an allowlisted problem from the selected skill, targeted to a misconception when possible.
View tool JSON
{
"name": "create_followup_problem",
"kind": "act",
"impl": "imperative",
"description": "Open an allowlisted problem from the selected skill, targeted to a misconception when possible.",
"inputSchema": {
"type": "object",
"properties": {
"skill_id": {
"type": "string",
"description": "The unlocked skill ID to practice.",
"maxLength": 60
},
"focus": {
"type": "string",
"description": "A short mistake tag or concept to target.",
"maxLength": 80
}
},
"required": [
"skill_id"
],
"additionalProperties": false
},
"page": "/QuickMaths/"
}