Développement · Serveur MCP local
Proof
Govern your AI coding agent: frame the work, review the changes, keep a signed decision record.
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.ToremLabs/proof- Version
- 1.0.0
- Statut
- Actif
- Catégorie
- développement
- Transport
- stdio (processus local)
- Paquet
- npm
- Publié
- 28 juillet 2026
- Mis à jour
- 28 juillet 2026
- Éditeur
- ToremLabs (GitHub) · 2 serveurs avec une page ici
- Espace de noms
- Espace de noms vérifié par le MCP Registry via GitHub (github.com/ToremLabs) · comment
- Dépôt
- github.com/ToremLabs/proof-mcp
- Source
- Entrée dans l’API du registre
Paquets
| Registre | Paquet | Version | Transport |
|---|---|---|---|
| npm | @toremlabs/proof-mcp | 1.0.0 | stdio |
Comment connecter Proof
Proof s’exécute en local depuis un paquet Node.js publié sur le registre npm : @toremlabs/proof-mcp, version 1.0.0. 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 @toremlabs/proof-mcp@1.0.0.
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": {
"command": "npx",
"args": [
"-y",
"@toremlabs/proof-mcp@1.0.0"
]
}
}
}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
Du même éditeur : ToremLabs (GitHub)
| Serveur | Exécution |
|---|---|
| HeuresisRead & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant. | Local · stdio |
Autres serveurs : développement
| Serveur | Exécution |
|---|---|
| PromptSpendLLM pricing where every rate carries its source and the date it was last confirmed. | Local · stdio |
| 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 |
| Proof CLI (unofficial)Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof. | 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 |