Sviluppo · Server MCP locale

Proof

Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.

Cosa indica il MCP Registry

La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.

Nome nel registro
io.github.ToremLabs/proof
Versione
1.0.0
Stato
Attivo
Categoria
sviluppo
Trasporto
stdio (processo locale)
Pacchetto
npm
Pubblicato
28 luglio 2026
Aggiornato
28 luglio 2026
Editore
ToremLabs (GitHub) · 2 server con una pagina qui
Namespace
Namespace verificato dal MCP Registry tramite GitHub (github.com/ToremLabs) · come funziona
Repository
github.com/ToremLabs/proof-mcp
Fonte
Voce nell’API del registro

Pacchetti

RegistroPacchettoVersioneTrasportoVariabili d’ambiente
npm@toremlabs/proof-mcp1.0.0stdioNessuna dichiarata

Come collegare Proof

Proof viene eseguito in locale a partire da un pacchetto Node.js pubblicato nel registro npm: @toremlabs/proof-mcp, versione 1.0.0. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede Node.js; i client in genere lo avviano con npx - il comando abituale è npx -y @toremlabs/proof-mcp@1.0.0.

Nel formato JSON mcpServers, letto da molti client MCP desktop e per editor di codice, la voce si presenta così (segnaposto tra parentesi angolari):

{
  "mcpServers": {
    "proof": {
      "command": "npx",
      "args": [
        "-y",
        "@toremlabs/proof-mcp@1.0.0"
      ]
    }
  }
}

Ricavato dalla voce del registro, non testato qui. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server

Altri server di ToremLabs (GitHub)

Tutti e 2 →
ServerEsecuzioneEndpoint o pacchetto
HeuresisRead & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant.Locale · stdionpm: @heuresis/mcp

Altri server della categoria sviluppo

Tutti e 5152 →
ServerEsecuzioneEndpoint o pacchetto
PromptSpendLLM pricing where every rate carries its source and the date it was last confirmed.Locale · stdionpm: @promptspend/mcp
PromptUIBuild a working web app from a prompt, then deploy it to a live URL.Remoto · HTTPVerifica live: ✓ handshakepromptui.co
PrompyaiScores your prompts against your real codebase - context-aware prompt intelligence.Locale · stdionpm: prompyai-mcp
PronounceHow engineers pronounce developer jargon - 1,903 confidence-tagged entries with citations.Locale · stdioPyPI: pronounce-mcp
Proof CLI (unofficial)Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof.Locale · stdioImmagine OCI (Docker): ghcr.io/tsarlewey/proof-cli:0.3.1
ProofFlowAudit infrastructure for AI coding agents with evidence-backed review and policy gates.Locale · stdioPyPI: proofflow-mcp
ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots.Remoto · HTTPVerifica live: accesso richiestoproofhand.dev
ProofRail MCP Release CertifierMCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight.Remoto · HTTPVerifica live: ✗ nessun handshakedrkdm4jd-8767.uks1.devtunnels.ms