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