quickmathematics.github.io
QuickMaths is a local-first mastery map and agent-guided learning workspace.
First seen 2026-11-05 · Last seen 2026-11-05 · Source: webmcp.com
Answer 12 · Act 23 · Transact 0 · Score: Not yet scored
Tool inspector
record_formal_guidance
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.
Page: /QuickMaths/
Input schema
| Property | Type | Required | Description |
|---|---|---|---|
question_id |
string | yes | The inspected formal question. |
proof_revision |
string | yes | Exact proof_revision from the latest inspection. |
guidance_id |
string | yes | One guidance_options ID returned by that inspection. |
Raw JSON schema
{
"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
}
Similar websites
pocketgull.app
Pocket Gull is a real-time clinical AI consult engine powered by Google Gemini. Features 10D multi-paradigm strategy, FHIR R4 export & 3D spatial anatomy.
webmcp-six-lac.vercel.app
AI Navigation Layer: Model Context Protocol (MCP) Semantic DOM integration for intelligent, safe, and observable web navigation.
ghqsandbox.net
Interactive math and physics tools an AI agent can drive directly through WebMCP.
app.formative.com
Formative classroom assessment and learning platform