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

RegistrePaquetVersionTransportVariables d’environnement
npm@toremlabs/proof-mcp1.0.0stdioAucune déclarée

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)

Voir les 2 →
ServeurExécutionPoint de terminaison ou paquet
HeuresisRead & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant.Local · stdionpm : @heuresis/mcp

Autres serveurs : développement

Voir les 5 152 →
ServeurExécutionPoint de terminaison ou paquet
PromptSpendLLM pricing where every rate carries its source and the date it was last confirmed.Local · stdionpm : @promptspend/mcp
PromptUIBuild a working web app from a prompt, then deploy it to a live URL.Distant · HTTPVérification en direct : ✓ poignée de mainpromptui.co
PrompyaiScores your prompts against your real codebase - context-aware prompt intelligence.Local · stdionpm : prompyai-mcp
PronounceHow engineers pronounce developer jargon - 1,903 confidence-tagged entries with citations.Local · stdioPyPI : pronounce-mcp
Proof CLI (unofficial)Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof.Local · stdioImage OCI (Docker) : ghcr.io/tsarlewey/proof-cli:0.3.1
ProofFlowAudit infrastructure for AI coding agents with evidence-backed review and policy gates.Local · stdioPyPI : proofflow-mcp
ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots.Distant · HTTPVérification en direct : connexion requiseproofhand.dev
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 maindrkdm4jd-8767.uks1.devtunnels.ms