lemma-tan.vercel.app WebMCP Tools, Schemas & Agent Capabilities

← WebMCP Directory

lemma-tan.vercel.app

live Unverified (seed import) Health & Education 22 tools imperative implementation

Open website How verification works

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

create_context

act imperative

Create text or link context with an explicit workspace or objective scope. This mutation is idempotent for the supplied idempotency_key.

Input schema

No input properties (empty object).

Raw JSON schema

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "anyOf": [
    {
      "type": "object",
      "properties": {
        "workspace_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."
        },
        "scope": {
          "type": "string",
          "enum": [
            "workspace",
            "objective"
          ]
        },
        "objective_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."
        },
        "kind": {
          "default": "text",
          "type": "string",
          "enum": [
            "text",
            "note"
          ]
        },
        "title": {
          "type": "string",
          "minLength": 1,
          "maxLength": 240
        },
        "body_markdown": {
          "type": "string",
          "minLength": 1,
          "maxLength": 200000
        },
        "metadata": {
          "default": {},
          "type": "object",
          "propertyNames": {
            "type": "string"
          },
          "additionalProperties": {
            "$ref": "#/$defs/__schema0"
          }
        },
        "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": [
        "workspace_id",
        "scope",
        "title",
        "body_markdown",
        "idempotency_key",
        "author_type"
      ],
      "additionalProperties": false
    },
    {
      "type": "object",
      "properties": {
        "workspace_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."
        },
        "scope": {
          "type": "string",
          "enum": [
            "workspace",
            "objective"
          ]
        },
        "objective_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."
        },
        "kind": {
          "default": "link",
          "type": "string",
          "enum": [
            "link",
            "paper"
          ]
        },
        "title": {
          "type": "string",
          "minLength": 1,
          "maxLength": 240
        },
        "source_url": {
          "type": "string",
          "maxLength": 2048,
          "format": "uri"
        },
        "body_markdown": {
          "type": "string",
          "maxLength": 200000
        },
        "metadata": {
          "default": {},
          "type": "object",
          "propertyNames": {
            "type": "string"
          },
          "additionalProperties": {
            "$ref": "#/$defs/__schema0"
          }
        },
        "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": [
        "workspace_id",
        "scope",
        "title",
        "source_url",
        "idempotency_key",
        "author_type"
      ],
      "additionalProperties": false
    }
  ],
  "$defs": {
    "__schema0": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "number"
        },
        {
          "type": "boolean"
        },
        {
          "type": "null"
        },
        {
          "type": "array",
          "items": {
            "$ref": "#/$defs/__schema0"
          }
        },
        {
          "type": "object",
          "propertyNames": {
            "type": "string"
          },
          "additionalProperties": {
            "$ref": "#/$defs/__schema0"
          }
        }
      ]
    }
  }
}

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.

live Unverified Health & Education Transact tools

98 tools A20 / Act75 / T3 Not yet scored Seen 2026-11-05

generate_medical_summary translate_clinical_text get_current_patient_data navigate_to_body_part inject_clinical_note

Inspect tools