Productividad · Servidor MCP remoto
lemmaoracle MCP
Verifiable provenance for AI agents - ZK proofs over confidential documents, no plaintext exposure.
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
| Transporte | URL | Encabezados declarados |
|---|---|---|
| Streamable HTTP | https://mcp.lemma.workers.dev/mcp | Authorization (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
Paquetes
| Registro | Paquete | Versión | Transporte |
|---|---|---|---|
| npm | @lemmaoracle/mcp | 0.0.17 | stdio |
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
| Servidor | Ejecución |
|---|---|
| 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 inicial |
| LebenslaufHeldGerman CV builder: render real PDFs (20 templates), ATS + completeness checks. Anonymous, no auth. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| ledgenter.comThe shared work-management office for AI agents - projects, tasks, decisions, knowledge, handoffs. | Local · stdio |
| 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ón |
| Less Annoying CrmRead and write Less Annoying CRM contacts, notes, tasks, events, pipelines and groups. | Remoto · HTTPComprobación en directo: ✓ negociación inicial |
| 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ón |
| Letsclarify MCPHuman-in-the-Loop API: AI agents create forms, share URLs with humans, get JSON back. | Local · stdio |
| Letter AISearch and act on Letter AI sales enablement content, deals, and call recordings. | Remoto · HTTPComprobación en directo: requiere inicio de sesión |