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
export_document
Compile the document into a complete, compilable .tex file (with preamble, geometry, theorem declarations, and TikZ when used) and download it for the user. Set returnContent to also receive the full .tex source in the response for verification. Use when they want to keep working in Overleaf or another LaTeX environment.
Input schema
| Property | Type | Required | Description |
|---|---|---|---|
documentId |
string | yes | Document ID to export. |
returnContent |
boolean | no | Include the full .tex source in the response (default false). |
Raw JSON schema
{
"type": "object",
"properties": {
"documentId": {
"type": "string",
"description": "Document ID to export."
},
"returnContent": {
"type": "boolean",
"description": "Include the full .tex source in the response (default false)."
}
},
"required": [
"documentId"
]
}
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