← WebMCP Directory

Tool tree

quickmathematics.github.io

Health & EducationTools verified
Website
QuickMaths is a local-first mastery map and agent-guided learning workspace.
Explore capabilities
    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/"
    }