Ontwikkeling · Lokale MCP-server

ProofFlow

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

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.Hyperion-GPU/proofflow
Versie
0.1.2
Status
Actief
Categorie
ontwikkeling
Transport
stdio (lokaal proces)
Pakket
PyPI
Gepubliceerd
6 mei 2026
Bijgewerkt
6 mei 2026
Uitgever
Hyperion-GPU (GitHub)
Namespace
Namespace door de MCP Registry geverifieerd via GitHub (github.com/Hyperion-GPU) · hoe
Repository
github.com/Hyperion-GPU/ProofFlow-v0.1
Bron
Vermelding in de register-API

Pakketten

RegisterPakketVersieTransportOmgevingsvariabelen
PyPIproofflow-mcp0.1.2stdioPROOFFLOW_BASE_URL en PROOFFLOW_API_KEY (geheim)

Zo verbind je ProofFlow

ProofFlow draait lokaal vanuit een Python-pakket dat op PyPI is gepubliceerd: proofflow-mcp, versie 0.1.2. Hij spreekt MCP via stdio, dus de client start hem als programma en communiceert ermee via standaardinvoer en -uitvoer. Hij vereist Python; clients starten het meestal met uvx (uit uv) of na pip install - het gebruikelijke commando is uvx proofflow-mcp. Hij leest deze omgevingsvariabelen: PROOFFLOW_BASE_URL en PROOFFLOW_API_KEY (geheim); stel ze in de configuratie van de client voor deze server in.

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": {
    "proofflow": {
      "command": "uvx",
      "args": [
        "proofflow-mcp"
      ],
      "env": {
        "PROOFFLOW_BASE_URL": "<waarde>",
        "PROOFFLOW_API_KEY": "<geheim>"
      }
    }
  }
}

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 servers in de categorie ontwikkeling

Alle 5.152 →
ServerDraaitEndpoint of pakket
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
ProofGovern your AI coding agent: frame the work, review the changes, keep a signed decision record.Lokaal · stdionpm: @toremlabs/proof-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
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
Protectwith KbAI-security knowledge as MCP: standards-mapped tools (OWASP, NIST, MITRE) for AI agents.Extern · HTTPLivecontrole: ✗ geen handshakeprotectwith-kb.burademirung.workers.dev
Proton Drive CLI MCPManage Proton Drive from MCP clients through Proton's official CLI without exposing credentials.Lokaal · stdionpm: @borealstack/proton-drive-cli-mcp