Ontwikkeling · Lokale MCP-server
Proof CLI (unofficial)
Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof.
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.tsarlewey/proof-cli- Versie
- 0.3.1
- Status
- Actief
- Categorie
- ontwikkeling
- Transport
- stdio (lokaal proces)
- Pakket
- OCI-image (Docker)
- Gepubliceerd
- 29 september 2026
- Bijgewerkt
- 29 september 2026
- Uitgever
- tsarlewey (GitHub)
- Namespace
- Namespace door de MCP Registry geverifieerd via GitHub (github.com/tsarlewey) · hoe
- Repository
- github.com/tsarlewey/proof-cli
- Bron
- Vermelding in de register-API
Pakketten
| Register | Pakket | Versie | Transport |
|---|---|---|---|
| OCI-image (Docker) | ghcr.io/tsarlewey/proof-cli:0.3.1 | - | stdio |
Zo verbind je Proof CLI (unofficial)
Proof CLI (unofficial) draait lokaal vanuit een containerimage in een OCI-register zoals Docker Hub of GitHub Container Registry: ghcr.io/tsarlewey/proof-cli:0.3.1. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Docker of een andere OCI-containerruntime; gestart met docker run - het gebruikelijke commando is docker run -i --rm -e PROOF_API_KEY -e PROOF_API_ENDPOINT ghcr.io/tsarlewey/proof-cli:0.3.1. Hij leest deze omgevingsvariabelen: PROOF_API_KEY (verplicht, geheim) en PROOF_API_ENDPOINT; 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": {
"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": "<geheim>",
"PROOF_API_ENDPOINT": "<waarde>"
}
}
}
}Afgeleid van de registervermelding, hier niet getest. 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 ontwikkeling
| Server | Draait |
|---|---|
| PromptUIBuild a working web app from a prompt, then deploy it to a live URL. | Extern · HTTPLivecontrole: ✓ handshake |
| PrompyaiScores your prompts against your real codebase - context-aware prompt intelligence. | Lokaal · stdio |
| PronounceHow engineers pronounce developer jargon - 1,903 confidence-tagged entries with citations. | Lokaal · stdio |
| ProofGovern your AI coding agent: frame the work, review the changes, keep a signed decision record. | Lokaal · stdio |
| ProofFlowAudit infrastructure for AI coding agents with evidence-backed review and policy gates. | Lokaal · stdio |
| ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots. | Extern · HTTPLivecontrole: inloggen vereist |
| ProofRail MCP Release CertifierMCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight. | Extern · HTTPLivecontrole: ✗ geen handshake |
| Protectwith KbAI-security knowledge as MCP: standards-mapped tools (OWASP, NIST, MITRE) for AI agents. | Extern · HTTPLivecontrole: ✗ geen handshake |