{
  "mcpServers": {
    "prooftrail": {
      "command": "pnpm",
      "args": [
        "mcp:start"
      ],
      "cwd": "/absolute/path/to/prooftrail"
    }
  }
}