Skip to content
mcp/harbor
VS Code

ProofFlow for VS Code

io.github.hyperion-gpu/proofflow

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

client:VS Code transport:stdio runtime:pypi

Install ProofFlow in VS Code

.vscode/mcp.json 

{
  "inputs": [
    {
      "type": "promptString",
      "id": "proofflow-base-url",
      "description": "PROOFFLOW_BASE_URL",
      "password": true
    },
    {
      "type": "promptString",
      "id": "proofflow-api-key",
      "description": "PROOFFLOW_API_KEY",
      "password": true
    }
  ],
  "servers": {
    "proofflow": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "proofflow-mcp"
      ],
      "env": {
        "PROOFFLOW_BASE_URL": "${input:proofflow-base-url}",
        "PROOFFLOW_API_KEY": "${input:proofflow-api-key}"
      }
    }
  }
}

VS Code prompts for each input the first time the server starts, so no secret is written to the file. VS Code docs

ProofFlow in other clients

ProofFlow MCP server