lemma-tan.vercel.app
lemma-tan.vercel.app
live
Unverified (seed import)
Health & Education
22 tools
imperative implementation
Lemma is an IDE for human-agent mathematical reasoning.
First seen 2026-11-05 · Last seen 2026-11-05 · Source: webmcp.com
Answer 9 · Act 13 · Transact 0 · Score: Not yet scored
Tool inspector
generate_clean_solution
answer
imperative
Generate a non-mutating Markdown projection of the selected branch. This operation has no side effects.
Input schema
| Property | Type | Required | Description |
|---|---|---|---|
branch_id |
string | yes | A UUID that identifies a persisted Lemma resource. |
Raw JSON schema
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"type": "object",
"properties": {
"branch_id": {
"type": "string",
"format": "uuid",
"pattern": "^([0-9a-fA-F]{8}-[0-9a-fA-F]{4}-[1-8][0-9a-fA-F]{3}-[89abAB][0-9a-fA-F]{3}-[0-9a-fA-F]{12}|00000000-0000-0000-0000-000000000000|ffffffff-ffff-ffff-ffff-ffffffffffff)$",
"description": "A UUID that identifies a persisted Lemma resource."
}
},
"required": [
"branch_id"
],
"additionalProperties": false
}
Similar websites
pocketgull.app
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
generate_medical_summary
translate_clinical_text
get_current_patient_data
navigate_to_body_part
inject_clinical_note
Inspect tools
webmcp-six-lac.vercel.app
webmcp-six-lac.vercel.app
AI Navigation Layer: Model Context Protocol (MCP) Semantic DOM integration for intelligent, safe, and observable web navigation.
live
Unverified
Health & Education
ver_certificados
ver_certificado_react
meus_cursos
abrir_curso_react
abrir_curso_nextjs
Inspect tools
ghqsandbox.net
ghqsandbox.net
Interactive math and physics tools an AI agent can drive directly through WebMCP.
live
Unverified
Health & Education
list_learning_tools
open_tool
list_expressions
add_expression
plot_point
Inspect tools
app.formative.com
app.formative.com
Formative classroom assessment and learning platform
live
Unverified
Health & Education
Transact tools
addFolder
addFormative
addFormativeItem
addOneRoster
addOrg
Inspect tools