Productiviteit · Externe MCP-server
lemmaoracle MCP
Verifiable provenance for AI agents - ZK proofs over confidential documents, no plaintext exposure.
Wat de MCP Registry vermeldt
De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.
- Registernaam
io.github.lemmaoracle/mcp- Versie
- 0.0.17
- Status
- Actief
- Categorie
- productiviteit
- Transport
- Streamable HTTP en stdio (lokaal proces)
- Pakket
- npm
- Gepubliceerd
- 18 mei 2026
- Bijgewerkt
- 18 mei 2026
- Uitgever
- lemmaoracle (GitHub)
- Namespace
- Namespace door de MCP Registry geverifieerd via GitHub (github.com/lemmaoracle) · hoe
- Website
- lemma.frame00.com
- Repository
- github.com/lemmaoracle/lemma (map packages/mcp)
- Bron
- Vermelding in de register-API
Externe endpoints
| Transport | URL | Opgegeven headers |
|---|---|---|
| Streamable HTTP | https://mcp.lemma.workers.dev/mcp | Authorization (verplicht, geheim) |
Livecontrole
Deze directory heeft verbinding gemaakt met elk extern endpoint en om de lijst met tools gevraagd. De controle maakt alleen verbinding en vraagt de tools op; ze voert geen tools uit, logt niet in en test de beveiliging niet.
- Bereikbaar
- Ja (HTTP 200)
- Handshake
- @lemmaoracle/mcp 0.0.23 · protocol 2025-06-18
- Gevonden tools
- 5:
lemma_query_verified_attributes,lemma_get_schema,lemma_get_circuit,lemma_get_generator,lemma_get_proof_status - Gecontroleerd op
- 5 oktober 2026
Pakketten
| Register | Pakket | Versie | Transport |
|---|---|---|---|
| npm | @lemmaoracle/mcp | 0.0.17 | stdio |
Zo verbind je lemmaoracle MCP
lemmaoracle MCP is een externe MCP-server: er hoeft niets te worden geïnstalleerd. Het endpoint is https://mcp.lemma.workers.dev/mcp, aangeboden via Streamable HTTP. Voeg in een assistent die externe MCP-servers accepteert (vaak onder een instelling met de naam connectors, integraties of tools) een nieuwe server toe en geef die deze URL; voeg hem in een client die via een bestand wordt geconfigureerd toe als externe (HTTP-)server met dezelfde URL.
De registervermelding geeft een HTTP-header op voor de verbinding: Authorization (verplicht, geheim). Een geheime header bevat meestal een API-sleutel of token die door de dienst is uitgegeven; clients die eigen headers accepteren, stellen hem in samen met de URL van de server.
Hij kan ook lokaal draaien vanuit een Node.js-pakket dat in het npm-register is gepubliceerd: @lemmaoracle/mcp, versie 0.0.17. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Node.js; clients starten het meestal met npx - het gebruikelijke commando is npx -y @lemmaoracle/mcp@0.0.17. Hij leest deze omgevingsvariabelen: LEMMA_API_KEY (verplicht, geheim) en LEMMA_API_BASE; stel ze in de configuratie van de client voor deze server in.
In het JSON-formaat mcpServers, dat veel MCP-clients voor desktop en code-editors lezen, ziet de vermelding er zo uit (tijdelijke aanduidingen tussen punthaken):
{
"mcpServers": {
"mcp": {
"command": "npx",
"args": [
"-y",
"@lemmaoracle/mcp@0.0.17"
],
"env": {
"LEMMA_API_KEY": "<geheim>",
"LEMMA_API_BASE": "<waarde>"
}
}
}
}Afgeleid van de registervermelding; de livecontrole hierboven laat alleen zien of het endpoint antwoordde. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt
Meer servers in de categorie productiviteit
| Server | Draait |
|---|---|
| Leave Pto Requests ApprovalsEmployee leave and PTO requests: balances, approvals, calendars, and who-is-out summaries. | Extern en lokaal · HTTP en stdioLivecontrole: ✓ handshake |
| LebenslaufHeldGerman CV builder: render real PDFs (20 templates), ATS + completeness checks. Anonymous, no auth. | Extern · HTTPLivecontrole: ✓ handshake |
| ledgenter.comThe shared work-management office for AI agents - projects, tasks, decisions, knowledge, handoffs. | Lokaal · stdio |
| LedgerIQ 1099 & W-2 Compliance Checker1099/W-2 rules: is a form required, deadlines, backup withholding, late-filing penalties. | Extern · HTTPLivecontrole: inloggen vereist |
| Less Annoying CrmRead and write Less Annoying CRM contacts, notes, tasks, events, pipelines and groups. | Extern · HTTPLivecontrole: ✓ handshake |
| Less MeetingPlan meetings, take notes, track action items, goals and KPIs, and send minutes from Less Meeting. | Extern · HTTPLivecontrole: inloggen vereist |
| Letsclarify MCPHuman-in-the-Loop API: AI agents create forms, share URLs with humans, get JSON back. | Lokaal · stdio |
| Letter AISearch and act on Letter AI sales enablement content, deals, and call recordings. | Extern · HTTPLivecontrole: inloggen vereist |