Produttività · Server MCP remoto
lemmaoracle MCP
Verifiable provenance for AI agents - ZK proofs over confidential documents, no plaintext exposure.
Cosa indica il MCP Registry
La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.
- Nome nel registro
io.github.lemmaoracle/mcp- Versione
- 0.0.17
- Stato
- Attivo
- Categoria
- produttività
- Trasporto
- Streamable HTTP e stdio (processo locale)
- Pacchetto
- npm
- Pubblicato
- 18 maggio 2026
- Aggiornato
- 18 maggio 2026
- Editore
- lemmaoracle (GitHub)
- Namespace
- Namespace verificato dal MCP Registry tramite GitHub (github.com/lemmaoracle) · come funziona
- Sito web
- lemma.frame00.com
- Repository
- github.com/lemmaoracle/lemma (cartella packages/mcp)
- Fonte
- Voce nell’API del registro
Endpoint remoti
| Trasporto | URL | Header dichiarati |
|---|---|---|
| Streamable HTTP | https://mcp.lemma.workers.dev/mcp | Authorization (obbligatorio, segreto) |
Verifica live
Questa directory si è collegata a ogni endpoint remoto e ne ha richiesto l’elenco degli strumenti. La verifica si limita a collegarsi e a elencare gli strumenti; non li esegue, non effettua l’accesso e non testa la sicurezza.
- Raggiungibile
- Sì (HTTP 200)
- Handshake
- @lemmaoracle/mcp 0.0.23 · protocollo 2025-06-18
- Strumenti trovati
- 5:
lemma_query_verified_attributes,lemma_get_schema,lemma_get_circuit,lemma_get_generator,lemma_get_proof_status - Data della verifica
- 5 ottobre 2026
Pacchetti
| Registro | Pacchetto | Versione | Trasporto |
|---|---|---|---|
| npm | @lemmaoracle/mcp | 0.0.17 | stdio |
Come collegare lemmaoracle MCP
lemmaoracle MCP è un server MCP remoto: non c’è niente da installare. Il suo endpoint, servito tramite Streamable HTTP, è https://mcp.lemma.workers.dev/mcp. In un assistente che accetta server MCP remoti (spesso in un’impostazione chiamata connettori, integrazioni o strumenti) si aggiunge un nuovo server indicando questo URL; in un client configurato tramite file lo si aggiunge come server remoto (HTTP) con lo stesso URL.
La voce del registro dichiara un header HTTP per la connessione: Authorization (obbligatorio, segreto). Un header segreto contiene di solito una chiave API o un token rilasciato dal servizio; i client che accettano header personalizzati lo impostano insieme all’URL del server.
Può essere eseguito anche in locale a partire da un pacchetto Node.js pubblicato nel registro npm: @lemmaoracle/mcp, versione 0.0.17. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede Node.js; i client in genere lo avviano con npx - il comando abituale è npx -y @lemmaoracle/mcp@0.0.17. Legge queste variabili d’ambiente: LEMMA_API_KEY (obbligatorio, segreto) e LEMMA_API_BASE; vanno impostate nella configurazione del client per questo server.
Nel formato JSON mcpServers, letto da molti client MCP desktop e per editor di codice, la voce si presenta così (segnaposto tra parentesi angolari):
{
"mcpServers": {
"mcp": {
"command": "npx",
"args": [
"-y",
"@lemmaoracle/mcp@0.0.17"
],
"env": {
"LEMMA_API_KEY": "<segreto>",
"LEMMA_API_BASE": "<valore>"
}
}
}
}Ricavato dalla voce del registro; la verifica live riportata sopra mostra solo se l’endpoint ha risposto. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server
Altri server della categoria produttività
| Server | Esecuzione |
|---|---|
| Leave Pto Requests ApprovalsEmployee leave and PTO requests: balances, approvals, calendars, and who-is-out summaries. | Remoto e locale · HTTP e stdioVerifica live: ✓ handshake |
| LebenslaufHeldGerman CV builder: render real PDFs (20 templates), ATS + completeness checks. Anonymous, no auth. | Remoto · HTTPVerifica live: ✓ handshake |
| ledgenter.comThe shared work-management office for AI agents - projects, tasks, decisions, knowledge, handoffs. | Locale · stdio |
| LedgerIQ 1099 & W-2 Compliance Checker1099/W-2 rules: is a form required, deadlines, backup withholding, late-filing penalties. | Remoto · HTTPVerifica live: accesso richiesto |
| Less Annoying CrmRead and write Less Annoying CRM contacts, notes, tasks, events, pipelines and groups. | Remoto · HTTPVerifica live: ✓ handshake |
| Less MeetingPlan meetings, take notes, track action items, goals and KPIs, and send minutes from Less Meeting. | Remoto · HTTPVerifica live: accesso richiesto |
| Letsclarify MCPHuman-in-the-Loop API: AI agents create forms, share URLs with humans, get JSON back. | Locale · stdio |
| Letter AISearch and act on Letter AI sales enablement content, deals, and call recordings. | Remoto · HTTPVerifica live: accesso richiesto |