VS Code

ProofHub MCP by usefulapi for VS Code

io.usefulapi/proofhub

Read projects, tasks, comments, people and time entries; create tasks and comments in ProofHub.

client:VS Code transport:streamable-http tools:15

Install ProofHub MCP by usefulapi in VS Code

.vscode/mcp.json

{
  "servers": {
    "proofhub": {
      "type": "http",
      "url": "https://proofhub.usefulapi.io/mcp"
    }
  }
}

Requires agent mode. MCP: Open User Configuration puts the same block in every workspace. VS Code docs

What VS Code can do once it is connected

ProofHub MCP by usefulapi in other clients

ProofHub MCP by usefulapi MCP server