Entwicklung · Lokaler MCP-Server

Proof

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

Was die MCP Registry angibt

Der Eintrag, wie er in der offiziellen MCP Registry veröffentlicht ist (Stand: 4. Oktober 2026), neueste Version.

Registry-Name
io.github.ToremLabs/proof
Version
1.0.0
Status
Aktiv
Kategorie
Entwicklung
Transport
stdio (lokaler Prozess)
Paket
npm
Veröffentlicht
28. Juli 2026
Aktualisiert
28. Juli 2026
Herausgeber
ToremLabs (GitHub) · 2 Server mit eigener Seite hier
Namensraum
Namensraum von der MCP Registry über GitHub verifiziert (github.com/ToremLabs) · So wird verifiziert
Repository
github.com/ToremLabs/proof-mcp
Quelle
Eintrag in der Registry-API

Pakete

RegistryPaketVersionTransportUmgebungsvariablen
npm@toremlabs/proof-mcp1.0.0stdioKeine deklariert

So verbinden Sie Proof

Proof wird lokal ausgeführt, und zwar aus einem in der npm-Registry veröffentlichten Node.js-Paket: @toremlabs/proof-mcp, Version 1.0.0. Der Server spricht MCP über stdio: Der Client startet ihn als Programm und kommuniziert mit ihm über Standardein- und -ausgabe. Benötigt wird Node.js; Clients starten das Paket meist mit npx - der übliche Befehl lautet npx -y @toremlabs/proof-mcp@1.0.0.

Im JSON-Format mcpServers, das viele MCP-Clients für Desktop und Editor lesen, sieht der Eintrag so aus (Platzhalter in spitzen Klammern):

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

Abgeleitet aus dem Registry-Eintrag, hier nicht getestet. Was der Server tut und zu welchen Bedingungen, legt sein Herausgeber fest; prüfen Sie sein Repository oder seine Website, bevor Sie ihm Zugriff auf Ihre Konten oder Dateien geben. So fügen Sie einem Assistenten einen MCP-Server hinzu · Vor dem Verbinden

Mehr von ToremLabs (GitHub)

Alle 2 →
ServerAusführungEndpunkt oder Paket
HeuresisRead & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant.Lokal · stdionpm: @heuresis/mcp

Weitere Server der Kategorie Entwicklung

Alle 5.152 →
ServerAusführungEndpunkt oder Paket
PromptSpendLLM pricing where every rate carries its source and the date it was last confirmed.Lokal · stdionpm: @promptspend/mcp
PromptUIBuild a working web app from a prompt, then deploy it to a live URL.Remote · HTTPLive-Prüfung: ✓ Handshakepromptui.co
PrompyaiScores your prompts against your real codebase - context-aware prompt intelligence.Lokal · stdionpm: prompyai-mcp
PronounceHow engineers pronounce developer jargon - 1,903 confidence-tagged entries with citations.Lokal · stdioPyPI: pronounce-mcp
Proof CLI (unofficial)Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof.Lokal · stdioOCI-Image (Docker): ghcr.io/tsarlewey/proof-cli:0.3.1
ProofFlowAudit infrastructure for AI coding agents with evidence-backed review and policy gates.Lokal · stdioPyPI: proofflow-mcp
ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots.Remote · HTTPLive-Prüfung: Anmeldung erforderlichproofhand.dev
ProofRail MCP Release CertifierMCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight.Remote · HTTPLive-Prüfung: ✗ kein Handshakedrkdm4jd-8767.uks1.devtunnels.ms