Sviluppo · Server MCP locale

ProofFlow

Audit infrastructure for AI coding agents with evidence-backed review and policy gates.

Cosa indica il MCP Registry

La voce come pubblicata nel MCP Registry ufficiale (consultazione: 4 ottobre 2026), ultima versione.

Nome nel registro
io.github.Hyperion-GPU/proofflow
Versione
0.1.2
Stato
Attivo
Categoria
sviluppo
Trasporto
stdio (processo locale)
Pacchetto
PyPI
Pubblicato
6 maggio 2026
Aggiornato
6 maggio 2026
Editore
Hyperion-GPU (GitHub)
Namespace
Namespace verificato dal MCP Registry tramite GitHub (github.com/Hyperion-GPU) · come funziona
Repository
github.com/Hyperion-GPU/ProofFlow-v0.1
Fonte
Voce nell’API del registro

Pacchetti

RegistroPacchettoVersioneTrasportoVariabili d’ambiente
PyPIproofflow-mcp0.1.2stdioPROOFFLOW_BASE_URL e PROOFFLOW_API_KEY (segreto)

Come collegare ProofFlow

ProofFlow viene eseguito in locale a partire da un pacchetto Python pubblicato su PyPI: proofflow-mcp, versione 0.1.2. Comunica via MCP su stdio, quindi il client lo avvia come programma e dialoga con esso tramite standard input e standard output. Richiede Python; i client in genere lo avviano con uvx (di uv) o dopo pip install - il comando abituale è uvx proofflow-mcp. Legge queste variabili d’ambiente: PROOFFLOW_BASE_URL e PROOFFLOW_API_KEY (segreto); vanno impostate nella configurazione del client per questo server.

Nel formato JSON mcpServers, letto da molti client MCP desktop e per editor di codice, la voce si presenta così (segnaposto tra parentesi angolari):

{
  "mcpServers": {
    "proofflow": {
      "command": "uvx",
      "args": [
        "proofflow-mcp"
      ],
      "env": {
        "PROOFFLOW_BASE_URL": "<valore>",
        "PROOFFLOW_API_KEY": "<segreto>"
      }
    }
  }
}

Ricavato dalla voce del registro, non testato qui. Cosa fa il server, e a quali condizioni, lo stabilisce il suo editore; prima di concedergli l’accesso ai propri account o file conviene consultarne il repository o il sito web. Come aggiungere un server MCP a un assistente · Prima di collegare un server

Altri server della categoria sviluppo

Tutti e 5152 →
ServerEsecuzioneEndpoint o pacchetto
PrompyaiScores your prompts against your real codebase - context-aware prompt intelligence.Locale · stdionpm: prompyai-mcp
PronounceHow engineers pronounce developer jargon - 1,903 confidence-tagged entries with citations.Locale · stdioPyPI: pronounce-mcp
ProofGovern your AI coding agent: frame the work, review the changes, keep a signed decision record.Locale · stdionpm: @toremlabs/proof-mcp
Proof CLI (unofficial)Notarize, e-sign, and verify identity with the Proof API. Unofficial; not affiliated with Proof.Locale · stdioImmagine OCI (Docker): ghcr.io/tsarlewey/proof-cli:0.3.1
ProofhandHuman QA on real phones and browsers for your coding agent. Pass/fail per step, with screenshots.Remoto · HTTPVerifica live: accesso richiestoproofhand.dev
ProofRail MCP Release CertifierMCP deployment checks: required tools, schema drift and verifiable receipts. Free preflight.Remoto · HTTPVerifica live: ✗ nessun handshakedrkdm4jd-8767.uks1.devtunnels.ms
Protectwith KbAI-security knowledge as MCP: standards-mapped tools (OWASP, NIST, MITRE) for AI agents.Remoto · HTTPVerifica live: ✗ nessun handshakeprotectwith-kb.burademirung.workers.dev
Proton Drive CLI MCPManage Proton Drive from MCP clients through Proton's official CLI without exposing credentials.Locale · stdionpm: @borealstack/proton-drive-cli-mcp