Ontwikkeling · Lokale MCP-server

Proof

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

Wat de MCP Registry vermeldt

De vermelding zoals gepubliceerd in de officiële MCP Registry (geraadpleegd op 4 oktober 2026), nieuwste versie.

Registernaam
io.github.ToremLabs/proof
Versie
1.0.0
Status
Actief
Categorie
ontwikkeling
Transport
stdio (lokaal proces)
Pakket
npm
Gepubliceerd
28 juli 2026
Bijgewerkt
28 juli 2026
Uitgever
ToremLabs (GitHub) · 2 servers met een pagina hier
Namespace
Namespace door de MCP Registry geverifieerd via GitHub (github.com/ToremLabs) · hoe
Repository
github.com/ToremLabs/proof-mcp
Bron
Vermelding in de register-API

Pakketten

RegisterPakketVersieTransportOmgevingsvariabelen
npm@toremlabs/proof-mcp1.0.0stdioNiets opgegeven

Zo verbind je Proof

Proof draait lokaal vanuit een Node.js-pakket dat in het npm-register is gepubliceerd: @toremlabs/proof-mcp, versie 1.0.0. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Node.js; clients starten het meestal met npx - het gebruikelijke commando is npx -y @toremlabs/proof-mcp@1.0.0.

In het JSON-formaat mcpServers, dat veel MCP-clients voor desktop en code-editors lezen, ziet de vermelding er zo uit (tijdelijke aanduidingen tussen punthaken):

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

Afgeleid van de registervermelding, hier niet getest. Wat de server doet en onder welke voorwaarden, bepaalt de uitgever; bekijk de repository of website voordat je de server toegang geeft tot je accounts of bestanden. Een MCP-server aan een assistent toevoegen · Voordat je verbinding maakt

Meer van ToremLabs (GitHub)

Alle 2 →
ServerDraaitEndpoint of pakket
HeuresisRead & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant.Lokaal · stdionpm: @heuresis/mcp

Meer servers in de categorie ontwikkeling

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