quickmathematics.github.io WebMCP Tools, Schemas & Agent Capabilities

← WebMCP Directory

quickmathematics.github.io

live Unverified (seed import) Health & Education 35 tools imperative implementation

Open website How verification works

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

inspect_formal_proof

act imperative

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.

Page: /QuickMaths/

Input schema

Property	Type	Required	Description
`question_id`	string	no	Formal question in the active test; defaults to its first formal question.

Raw JSON schema

{
  "type": "object",
  "properties": {
    "question_id": {
      "type": "string",
      "description": "Formal question in the active test; defaults to its first formal question.",
      "maxLength": 120
    }
  },
  "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.

live Unverified Health & Education Transact tools

98 tools A20 / Act75 / T3 Not yet scored Seen 2026-11-05

generate_medical_summary translate_clinical_text get_current_patient_data navigate_to_body_part inject_clinical_note

Inspect tools