ProofFlow MCP Server

What the code does

We read the source, 20 h ago · rules 3dff92dd89df

A value the model can set ends up inside a file or shell call. That is not a flaw by itself — for a terminal server it is the job — but it is where things go wrong when it is not.

        result = subprocess.run(

What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.

этот файл ставится пользователю, но в репозитории его нет

        result = subprocess.run(

      absPath = path.join(folders[0].uri.fsPath, relPath);

ENV VITE_PROOFFLOW_API_KEY=$VITE_PROOFFLOW_API_KEY

Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

claude mcp add proofflow -- uvx proofflow-mcp

{
  "mcpServers": {
    "proofflow": {
      "args": [
        "proofflow-mcp"
      ],
      "command": "uvx"
    }
  }
}

[mcp_servers.proofflow]
command = "uvx"
args = ["proofflow-mcp"]

{
  "mcpServers": {
    "proofflow": {
      "args": [
        "proofflow-mcp"
      ],
      "command": "uvx"
    }
  }
}

{
  "mcpServers": {
    "proofflow": {
      "args": [
        "proofflow-mcp"
      ],
      "command": "uvx"
    }
  }
}

This one needs environment variables set before it will start: PROOFFLOW_BASE_URL (ProofFlow backend URL (default: http://127.0.0.1:8787)), PROOFFLOW_API_KEY (API key for authenticated access to the ProofFlow backend). The author declared them in the registry entry; get the values from the project itself.