{
  "mcpVersion": "1.0",
  "serverInfo": {
    "name": "BitDive Java Verification Server",
    "version": "6.4.4",
    "description": "Establish Ground Truth and verify Java code changes via runtime traces. Requires a BitDive MCP Token for authentication."
  },
  "transports": {
    "sse": {
      "url": "https://cloud.bitdive.io/mcp/sse",
      "instructions": "To authenticate, provide your BitDive MCP Token in the 'X-BitDive-MCP-Token' header or via the 'BITDIVE_MCP_TOKEN' environment variable. Most tools also support an optional 'mcp_token' parameter for per-request overrides."
    },
    "stdio": {
      "command": "npx",
      "args": ["-y", "@bitdive/mcp-server"],
      "env": {
        "BITDIVE_MCP_TOKEN": {
          "description": "Your personal MCP access token from BitDive settings",
          "required": true
        },
        "BITDIVE_URL": {
          "description": "BitDive instance URL",
          "default": "https://cloud.bitdive.io"
        }
      }
    }
  },
  "capabilities": {
    "tools": true,
    "resources": true,
    "prompts": true
  },
  "auth": {
    "type": "custom",
    "header": "X-BitDive-MCP-Token",
    "instructions": "Get your token from BitDive Settings -> MCP Server. Use BITDIVE_MCP_TOKEN env var for local agents."
  }
}