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
| Register | Pakket | Versie | Transport |
|---|---|---|---|
| npm | @toremlabs/proof-mcp | 1.0.0 | stdio |
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)
| Server | Draait |
|---|---|
| HeuresisRead & write your Heuresis idea graph and run TRIZ/C-K/ASIT operators from your AI assistant. | Lokaal · stdio |
Meer servers in de categorie ontwikkeling
| Server | Draait |
|---|---|
| PromptSpendLLM pricing where every rate carries its source and the date it was last confirmed. | Lokaal · stdio |
| PromptUIBuild a working web app from a prompt, then deploy it to a live URL. | Extern · HTTPLivecontrole: ✓ handshake |
| PrompyaiScores your prompts against your real codebase - context-aware prompt intelligence. | Lokaal · stdio |
| PronounceHow engineers pronounce developer jargon - 1,903 confidence-tagged entries with citations. | Lokaal · stdio |
| Proof CLI (unofficial)Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof. | Lokaal · stdio |
| ProofFlowAudit infrastructure for AI coding agents with evidence-backed review and policy gates. | Lokaal · stdio |
| ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots. | Extern · HTTPLivecontrole: inloggen vereist |
| ProofRail MCP Release CertifierMCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight. | Extern · HTTPLivecontrole: ✗ geen handshake |