Mcp

Connect Remote server

claude mcp add --transport http mcp https://mcp.lemma.workers.dev/mcp --header "Authorization: Bearer <YOUR_API_KEY>"

{
  "mcpServers": {
    "mcp": {
      "url": "https://mcp.lemma.workers.dev/mcp",
      "headers": {
        "Authorization": "Bearer <YOUR_API_KEY>"
      }
    }
  }
}

{
  "servers": {
    "mcp": {
      "type": "http",
      "url": "https://mcp.lemma.workers.dev/mcp",
      "headers": {
        "Authorization": "Bearer <YOUR_API_KEY>"
      }
    }
  }
}

Settings > Connectors > Add custom connector
URL: https://mcp.lemma.workers.dev/mcp

Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.

Tools 5 found in our last check

• lemma_query_verified_attributes

  Query cryptographically verified attributes from Lemma. Use this as the primary tool for finding documents whose attributes match given conditions (e.g., "subject's birthYear lt 2008"). Returns { results: Array<{ docHash, schema, issuerId, subjectId, attributes, isVerified, proo…

• lemma_get_schema

  Retrieve a Lemma schema by its ID via GET /v1/schemas/{id}. A schema declares how documents of a given type are interpreted and normalized. Returns SchemaMeta { id, description? } with additionalProperties open — implementations commonly include a `normalize` artifact (WASM that…

• lemma_get_circuit

  Retrieve a zero-knowledge proof circuit by its circuitId via GET /v1/circuits/{circuitId}. A circuit defines the constraints that proofs must satisfy and binds to a single schema. Returns CircuitMeta { circuitId, schema, description?, inputs?, verifier?: { type: 'onchain'|'offch…

• lemma_get_generator

  Retrieve a Lemma document generator by generatorId via GET /v1/doc-generators/{generatorId}. A generator describes how a class of source documents is produced (e.g., what fields a 'KYC-v2' issuer must populate). Returns GeneratorMeta { generatorId, schema, description?, language…

• lemma_get_proof_status

  Get the verification status of a proof. NOTE: the v2 API does not yet expose a dedicated GET /v1/proofs/{id} endpoint, so this tool internally calls POST /v1/verified-attributes/query filtered by docHash (treating the verificationId returned from lemma_submit_proof as a docHash…

Headers

Details

More files and documents servers See all

• Нишка – отворен слой

  Checked Bulgarian public-service facts, legal deadlines and official documents, with sources.

• Craft Quantities: construction material calculators

  Construction quantities from cited calculators, takeoffs, planners, drawings, cut plans. No prices.

• step2gcode

  Turn STEP, DXF and SVG files into CNC milling and laser G-code for GRBL, LinuxCNC, Mach3 and more.

• StickerByVIN

  Check whether a car's original window sticker (Monroney label) is on file for a VIN, plus recalls.

• BDK Native

  Turn a web app from Lovable, Bolt, Replit, Base44, Bubble or any stack into iOS and Android apps.

• Unique.domains

  Domain status, WHOIS records, nine registrars' daily prices, renewal traps and auctions. No key.