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
| Registro | Pacchetto | Versione | Trasporto |
|---|---|---|---|
| npm | @toremlabs/proof-mcp | 1.0.0 | stdio |
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)
| Server | Esecuzione |
|---|---|
| HeuresisRead & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant. | Locale · stdio |
Altri server della categoria sviluppo
| Server | Esecuzione |
|---|---|
| PromptSpendLLM pricing where every rate carries its source and the date it was last confirmed. | Locale · stdio |
| PromptUIBuild a working web app from a prompt, then deploy it to a live URL. | Remoto · HTTPVerifica live: ✓ handshake |
| PrompyaiScores your prompts against your real codebase - context-aware prompt intelligence. | Locale · stdio |
| PronounceHow engineers pronounce developer jargon - 1,903 confidence-tagged entries with citations. | Locale · stdio |
| Proof CLI (unofficial)Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof. | Locale · stdio |
| ProofFlowAudit infrastructure for AI coding agents with evidence-backed review and policy gates. | Locale · stdio |
| ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots. | Remoto · HTTPVerifica live: accesso richiesto |
| ProofRail MCP Release CertifierMCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight. | Remoto · HTTPVerifica live: ✗ nessun handshake |