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
| Registry | Paket | Version | Transport |
|---|---|---|---|
| npm | @toremlabs/proof-mcp | 1.0.0 | stdio |
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)
| Server | Ausführung |
|---|---|
| HeuresisRead & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant. | Lokal · stdio |
Weitere Server der Kategorie Entwicklung
| Server | Ausführung |
|---|---|
| PromptSpendLLM pricing where every rate carries its source and the date it was last confirmed. | Lokal · stdio |
| PromptUIBuild a working web app from a prompt, then deploy it to a live URL. | Remote · HTTPLive-Prüfung: ✓ Handshake |
| PrompyaiScores your prompts against your real codebase - context-aware prompt intelligence. | Lokal · stdio |
| PronounceHow engineers pronounce developer jargon - 1,903 confidence-tagged entries with citations. | Lokal · stdio |
| Proof CLI (unofficial)Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof. | Lokal · stdio |
| ProofFlowAudit infrastructure for AI coding agents with evidence-backed review and policy gates. | Lokal · stdio |
| ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots. | Remote · HTTPLive-Prüfung: Anmeldung erforderlich |
| ProofRail MCP Release CertifierMCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight. | Remote · HTTPLive-Prüfung: ✗ kein Handshake |