Développement · Serveur MCP local
Proof CLI (unofficial)
Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof.
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.tsarlewey/proof-cli- Version
- 0.3.1
- Statut
- Actif
- Catégorie
- développement
- Transport
- stdio (processus local)
- Paquet
- Image OCI (Docker)
- Publié
- 29 septembre 2026
- Mis à jour
- 29 septembre 2026
- Éditeur
- tsarlewey (GitHub)
- Espace de noms
- Espace de noms vérifié par le MCP Registry via GitHub (github.com/tsarlewey) · comment
- Dépôt
- github.com/tsarlewey/proof-cli
- Source
- Entrée dans l’API du registre
Paquets
| Registre | Paquet | Version | Transport |
|---|---|---|---|
| Image OCI (Docker) | ghcr.io/tsarlewey/proof-cli:0.3.1 | - | stdio |
Comment connecter Proof CLI (unofficial)
Proof CLI (unofficial) s’exécute en local depuis une image de conteneur hébergée dans un registre OCI comme Docker Hub ou GitHub Container Registry : ghcr.io/tsarlewey/proof-cli:0.3.1. 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 Docker ou un autre environnement d’exécution de conteneurs OCI ; il se lance avec docker run - la commande habituelle est docker run -i --rm -e PROOF_API_KEY -e PROOF_API_ENDPOINT ghcr.io/tsarlewey/proof-cli:0.3.1. Il lit ces variables d’environnement : PROOF_API_KEY (obligatoire, secret) et PROOF_API_ENDPOINT ; 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": {
"proof-cli": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"-e",
"PROOF_API_KEY",
"-e",
"PROOF_API_ENDPOINT",
"ghcr.io/tsarlewey/proof-cli:0.3.1"
],
"env": {
"PROOF_API_KEY": "<secret>",
"PROOF_API_ENDPOINT": "<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
Autres serveurs : développement
| Serveur | Exécution |
|---|---|
| PromptUIBuild a working web app from a prompt, then deploy it to a live URL. | Distant · HTTPVérification en direct : ✓ poignée de main |
| PrompyaiScores your prompts against your real codebase - context-aware prompt intelligence. | Local · stdio |
| PronounceHow engineers pronounce developer jargon - 1,903 confidence-tagged entries with citations. | Local · stdio |
| ProofGovern your AI coding agent: frame the work, review the changes, keep a signed decision record. | Local · stdio |
| ProofFlowAudit infrastructure for AI coding agents with evidence-backed review and policy gates. | Local · stdio |
| ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots. | Distant · HTTPVérification en direct : connexion requise |
| ProofRail MCP Release CertifierMCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight. | Distant · HTTPVérification en direct : ✗ pas de poignée de main |
| Protectwith KbAI-security knowledge as MCP: standards-mapped tools (OWASP, NIST, MITRE) for AI agents. | Distant · HTTPVérification en direct : ✗ pas de poignée de main |