Productivité · Serveur MCP distant

lemmaoracle MCP

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

Visiter le site de lemmaoracle MCP

Ce qu’indique le MCP Registry

L’entrée telle que publiée dans le MCP Registry officiel (consultée le 4 octobre 2026), dernière version.

Nom dans le registre
io.github.lemmaoracle/mcp
Version
0.0.17
Statut
Actif
Catégorie
productivité
Transport
Streamable HTTP et stdio (processus local)
Paquet
npm
Publié
18 mai 2026
Mis à jour
18 mai 2026
Éditeur
lemmaoracle (GitHub)
Espace de noms
Espace de noms vérifié par le MCP Registry via GitHub (github.com/lemmaoracle) · comment
Site web
lemma.frame00.com
Dépôt
github.com/lemmaoracle/lemma (dossier packages/mcp)
Source
Entrée dans l’API du registre

Points de terminaison distants

TransportURLEn-têtes déclarés
Streamable HTTPhttps://mcp.lemma.workers.dev/mcpAuthorization (obligatoire, secret)

Vérification en direct

Cet annuaire s’est connecté à chaque point de terminaison distant et lui a demandé sa liste d’outils. La vérification se limite à la connexion et à la liste des outils ; elle n’exécute aucun outil, ne se connecte à aucun compte et ne teste pas la sécurité.

Joignable
Oui (HTTP 200)
Poignée de main
@lemmaoracle/mcp 0.0.23 · protocole 2025-06-18
Outils trouvés
5 : lemma_query_verified_attributes, lemma_get_schema, lemma_get_circuit, lemma_get_generator, lemma_get_proof_status
Vérifié le
5 octobre 2026

Comment fonctionne la vérification en direct

Paquets

RegistrePaquetVersionTransportVariables d’environnement
npm@lemmaoracle/mcp0.0.17stdioLEMMA_API_KEY (obligatoire, secret) et LEMMA_API_BASE

Comment connecter lemmaoracle MCP

lemmaoracle MCP est un serveur MCP distant : il n’y a rien à installer. Son point de terminaison, servi en Streamable HTTP, est https://mcp.lemma.workers.dev/mcp. Dans un assistant qui accepte les serveurs MCP distants (souvent dans un paramètre nommé connecteurs, intégrations ou outils), ajoutez un nouveau serveur et indiquez-lui cette URL ; dans un client configuré par fichier, ajoutez-le comme serveur distant (HTTP) avec la même URL.

L’entrée du registre déclare un en-tête HTTP pour la connexion : Authorization (obligatoire, secret). Un en-tête secret contient généralement une clé d’API ou un jeton délivré par le service ; les clients qui acceptent des en-têtes personnalisés le définissent avec l’URL du serveur.

Il peut aussi s’exécuter en local depuis un paquet Node.js publié sur le registre npm : @lemmaoracle/mcp, version 0.0.17. Il communique en MCP via stdio : le client le lance comme un programme et échange avec lui par l’entrée et la sortie standard. Il nécessite Node.js ; les clients le lancent généralement avec npx - la commande habituelle est npx -y @lemmaoracle/mcp@0.0.17. Il lit ces variables d’environnement : LEMMA_API_KEY (obligatoire, secret) et LEMMA_API_BASE ; définissez-les dans la configuration du client pour ce serveur.

Au format JSON mcpServers, que lisent de nombreux clients MCP de bureau et éditeurs de code, l’entrée se présente ainsi (espaces réservés entre chevrons) :

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

Déduit de l’entrée du registre ; la vérification en direct ci-dessus indique seulement si le point de terminaison a répondu. Ce que fait le serveur, et à quelles conditions, relève de son éditeur ; consultez son dépôt ou son site web avant de lui donner accès à vos comptes ou à vos fichiers. Comment ajouter un serveur MCP à un assistant · Avant de connecter un serveur

Autres serveurs : productivité

Voir les 2 706 →
ServeurExécutionPoint de terminaison ou paquet
Leave Pto Requests ApprovalsEmployee leave and PTO requests: balances, approvals, calendars, and who-is-out summaries.Distant et local · HTTP et stdioVérification en direct : ✓ poignée de mainmcp.zovo.one
LebenslaufHeldGerman CV builder: render real PDFs (20 templates), ATS + completeness checks. Anonymous, no auth.Distant · HTTPVérification en direct : ✓ poignée de mainlebenslaufheld.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.Distant · HTTPVérification en direct : connexion requiseopenapi-1779157377315.mcpize.run
Less Annoying CrmRead and write Less Annoying CRM contacts, notes, tasks, events, pipelines and groups.Distant · HTTPVérification en direct : ✓ poignée de mainless-annoying-crm.usefulapi.io
Less MeetingPlan meetings, take notes, track action items, goals and KPIs, and send minutes from Less Meeting.Distant · HTTPVérification en direct : connexion requiseapp.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.Distant · HTTPVérification en direct : connexion requiseapi.letter.ai