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
mark_dead_end
act
imperative
Mark a step as a dead end without deleting it. This mutation is idempotent for the supplied idempotency_key.
Input schema
| Property | Type | Required | Description |
|---|---|---|---|
step_id |
string | yes | A UUID that identifies a persisted Lemma resource. |
expected_step_revision |
integer | yes | A positive optimistic-concurrency revision. |
idempotency_key |
string | yes | A caller-generated key that makes a mutation retry safe. |
author_type |
string | yes | — |
author_agent_name |
string | no | — |
Raw JSON schema
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"type": "object",
"properties": {
"step_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."
},
"expected_step_revision": {
"type": "integer",
"exclusiveMinimum": 0,
"maximum": 9007199254740991,
"description": "A positive optimistic-concurrency revision."
},
"idempotency_key": {
"type": "string",
"minLength": 8,
"maxLength": 200,
"description": "A caller-generated key that makes a mutation retry safe."
},
"author_type": {
"type": "string",
"enum": [
"human",
"agent"
]
},
"author_agent_name": {
"type": "string",
"minLength": 1,
"maxLength": 160
}
},
"required": [
"step_id",
"expected_step_revision",
"idempotency_key",
"author_type"
],
"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