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
search_documents
Find text or LaTeX across the workspace (case-insensitive substring). Returns each match as a block with its ID and surrounding context, so the agent can quote, update, or comment on it. Use before editing to locate where a concept, label, or command appears.
Input schema
| Property | Type | Required | Description |
|---|---|---|---|
query |
string | yes | Text to find, e.g. 'pythagorean', 'thm:', '\\int'. |
documentId |
string | no | Optional: restrict the search to one document. Default: all documents. |
Raw JSON schema
{
"type": "object",
"properties": {
"query": {
"type": "string",
"description": "Text to find, e.g. 'pythagorean', 'thm:', '\\\\int'."
},
"documentId": {
"type": "string",
"description": "Optional: restrict the search to one document. Default: all documents."
}
},
"required": [
"query"
]
}
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