Productividad · Servidor MCP remoto

lemmaoracle MCP

Verifiable provenance for AI agents - ZK proofs over confidential documents, no plaintext exposure.

Visitar el sitio web de lemmaoracle MCP

Lo que indica el MCP Registry

La entrada tal como está publicada en el MCP Registry oficial (consultada el 4 de octubre de 2026), última versión.

Nombre en el registro
io.github.lemmaoracle/mcp
Versión
0.0.17
Estado
Activo
Categoría
productividad
Transporte
Streamable HTTP y stdio (proceso local)
Paquete
npm
Publicado
18 de mayo de 2026
Actualizado
18 de mayo de 2026
Editor
lemmaoracle (GitHub)
Espacio de nombres
Espacio de nombres verificado por el MCP Registry mediante GitHub (github.com/lemmaoracle) · cómo
Sitio web
lemma.frame00.com
Repositorio
github.com/lemmaoracle/lemma (carpeta packages/mcp)
Fuente
Entrada en la API del registro

Endpoints remotos

TransporteURLEncabezados declarados
Streamable HTTPhttps://mcp.lemma.workers.dev/mcpAuthorization (obligatorio, secreto)

Comprobación en directo

Este directorio se conectó a cada endpoint remoto y pidió su lista de herramientas. La comprobación solo se conecta y lista las herramientas; no ejecuta herramientas, no inicia sesión ni prueba la seguridad.

Accesible
Sí (HTTP 200)
Negociación inicial
@lemmaoracle/mcp 0.0.23 · protocolo 2025-06-18
Herramientas encontradas
5: lemma_query_verified_attributes, lemma_get_schema, lemma_get_circuit, lemma_get_generator, lemma_get_proof_status
Comprobado el
5 de octubre de 2026

Cómo funciona la comprobación en directo

Paquetes

RegistroPaqueteVersiónTransporteVariables de entorno
npm@lemmaoracle/mcp0.0.17stdioLEMMA_API_KEY (obligatorio, secreto) y LEMMA_API_BASE

Cómo conectar lemmaoracle MCP

lemmaoracle MCP es un servidor MCP remoto: no hay nada que instalar. Su endpoint es https://mcp.lemma.workers.dev/mcp, servido mediante Streamable HTTP. En un asistente que acepte servidores MCP remotos (a menudo en un ajuste llamado conectores, integraciones o herramientas), basta con añadir un servidor nuevo e indicar esta URL; en un cliente que se configura mediante un archivo, se añade como servidor remoto (HTTP) con la misma URL.

La entrada del registro declara un encabezado HTTP para la conexión: Authorization (obligatorio, secreto). Un encabezado secreto suele contener una clave de API o un token emitido por el servicio; los clientes que aceptan encabezados personalizados lo configuran junto con la URL del servidor.

También puede ejecutarse en local a partir de un paquete de Node.js publicado en el registro npm: @lemmaoracle/mcp, versión 0.0.17. Usa MCP mediante stdio, así que el cliente lo inicia como programa y se comunica con él a través de la entrada y salida estándar. Necesita Node.js; los clientes suelen iniciarlo con npx - el comando habitual es npx -y @lemmaoracle/mcp@0.0.17. Lee estas variables de entorno: LEMMA_API_KEY (obligatorio, secreto) y LEMMA_API_BASE; hay que definirlas en la configuración del cliente para este servidor.

En el formato JSON mcpServers que leen muchos clientes MCP de escritorio y de editores de código, la entrada tiene este aspecto (marcadores de posición entre corchetes angulares):

{
  "mcpServers": {
    "mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@lemmaoracle/mcp@0.0.17"
      ],
      "env": {
        "LEMMA_API_KEY": "<secreto>",
        "LEMMA_API_BASE": "<valor>"
      }
    }
  }
}

Obtenido de la entrada del registro; la comprobación en directo de arriba solo muestra si el endpoint respondió. Lo que hace el servidor, y en qué condiciones, lo determina su editor; conviene revisar su repositorio o sitio web antes de darle acceso a cuentas o archivos propios. Cómo añadir un servidor MCP a un asistente · Antes de conectar

Más servidores de productividad

Ver los 2706 →
ServidorEjecuciónEndpoint o paquete
Leave Pto Requests ApprovalsEmployee leave and PTO requests: balances, approvals, calendars, and who-is-out summaries.Remoto y local · HTTP y stdioComprobación en directo: ✓ negociación inicialmcp.zovo.one
LebenslaufHeldGerman CV builder: render real PDFs (20 templates), ATS + completeness checks. Anonymous, no auth.Remoto · HTTPComprobación en directo: ✓ negociación iniciallebenslaufheld.de
ledgenter.comThe shared work-management office for AI agents - projects, tasks, decisions, knowledge, handoffs.Local · stdionpm: @ledgenter/mcp
LedgerIQ 1099 & W-2 Compliance Checker1099/W-2 rules: is a form required, deadlines, backup withholding, late-filing penalties.Remoto · HTTPComprobación en directo: requiere inicio de sesiónopenapi-1779157377315.mcpize.run
Less Annoying CrmRead and write Less Annoying CRM contacts, notes, tasks, events, pipelines and groups.Remoto · HTTPComprobación en directo: ✓ negociación inicialless-annoying-crm.usefulapi.io
Less MeetingPlan meetings, take notes, track action items, goals and KPIs, and send minutes from Less Meeting.Remoto · HTTPComprobación en directo: requiere inicio de sesiónapp.lessmeeting.com
Letsclarify MCPHuman-in-the-Loop API: AI agents create forms, share URLs with humans, get JSON back.Local · stdionpm: @heisee/letsclarify-mcp
Letter AISearch and act on Letter AI sales enablement content, deals, and call recordings.Remoto · HTTPComprobación en directo: requiere inicio de sesiónapi.letter.ai