ProofSlip

ProofSlip s’exécute en local depuis un paquet Node.js publié sur le registre npm : @proofslip/mcp-server, version 0.2.3. 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 @proofslip/mcp-server@0.2.3. Il lit ces variables d’environnement : PROOFSLIP_API_KEY (obligatoire, secret) et PROOFSLIP_BASE_URL ; 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-server": {
      "command": "npx",
      "args": [
        "-y",
        "@proofslip/mcp-server@0.2.3"
      ],
      "env": {
        "PROOFSLIP_API_KEY": "<secret>",
        "PROOFSLIP_BASE_URL": "<valeur>"
      }
    }
  }
}

Déduit de l’entrée du registre, non testé ici. 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