lemma-webmcp.netlify.app
A live LaTeX pad where humans and agents co-author math. Block-anchored editing, real-time KaTeX rendering, and a render-error feedback loop that lets agents correct their own mistakes. Built…
First seen 2026-11-05 · Last seen 2026-11-05 · Source: webmcp.com
Answer 5 · Act 10 · Transact 1 · Score: Not yet scored
Tool inspector
insert_blocks
Insert new LaTeX blocks after an anchor block (or at the start). Blocks render immediately; the response reports each block's render status and the surrounding context so you can verify placement. figure blocks support TikZ diagrams (\begin{tikzpicture}...\end{tikzpicture}). Check get_render_errors afterward to self-correct.
Input schema
| Property | Type | Required | Description |
|---|---|---|---|
documentId |
string | yes | Target document ID. |
afterBlockId |
string | yes | Insert after this block ID, or use "start" for the beginning. |
blocks |
array | yes | Blocks to insert, each {type, latex}. |
Raw JSON schema
{
"type": "object",
"properties": {
"documentId": {
"type": "string",
"description": "Target document ID."
},
"afterBlockId": {
"type": "string",
"description": "Insert after this block ID, or use \"start\" for the beginning."
},
"blocks": {
"type": "array",
"description": "Blocks to insert, each {type, latex}.",
"items": {
"type": "object",
"properties": {
"type": {
"type": "string",
"enum": [
"text",
"equation",
"align",
"theorem",
"figure",
"table",
"code",
"preamble"
],
"description": "text (prose with inline $math$), equation (display math), align (multi-line), theorem, figure, table, code, preamble (macro definitions)."
},
"latex": {
"type": "string",
"description": "LaTeX source for the block."
}
},
"required": [
"type",
"latex"
]
}
}
},
"required": [
"documentId",
"afterBlockId",
"blocks"
]
}
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