Serversio.github.es617/dbgprobe-mcp-server
S

io.github.es617/dbgprobe-mcp-server

io.github.es617/dbgprobe-mcp-server · v0.1.4
▦ pypi
v0.1.4pypi pypi: dbgprobe-mcp-server↗ Repository
{}server.json

The full server descriptor as registered with IndusMCP.

{
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "name": "io.github.es617/dbgprobe-mcp-server",
  "description": "Let AI agents interact with debug probes — connect, flash, read/write memory, and reset.",
  "repository": {
    "url": "https://github.com/es617/dbgprobe-mcp-server.git",
    "source": "github"
  },
  "version": "0.1.4",
  "packages": [
    {
      "registryType": "pypi",
      "identifier": "dbgprobe-mcp-server",
      "version": "0.1.4",
      "transport": {
        "type": "stdio"
      },
      "environmentVariables": [
        {
          "description": "Debug probe backend to use (default: jlink). Future: openocd, pyocd.",
          "format": "string",
          "name": "DBGPROBE_BACKEND"
        },
        {
          "description": "Log level: DEBUG, INFO, WARNING (default), ERROR.",
          "format": "string",
          "name": "DBGPROBE_MCP_LOG_LEVEL"
        },
        {
          "description": "Explicit path to JLinkExe (or JLink.exe on Windows). Auto-detected if not set.",
          "format": "string",
          "name": "DBGPROBE_JLINK_PATH"
        },
        {
          "description": "Explicit path to JLinkGDBServerCLExe. Auto-detected if not set.",
          "format": "string",
          "name": "DBGPROBE_JLINK_GDBSERVER_PATH"
        },
        {
          "description": "Default target device string (e.g. nRF52840_xxAA). Can be overridden per-session.",
          "format": "string",
          "name": "DBGPROBE_JLINK_DEVICE"
        },
        {
          "description": "Debug interface: SWD (default) or JTAG.",
          "format": "string",
          "name": "DBGPROBE_INTERFACE"
        },
        {
          "description": "Interface speed in kHz (default: 4000).",
          "format": "string",
          "name": "DBGPROBE_SPEED_KHZ"
        },
        {
          "description": "Plugin policy: 'all' or comma-separated plugin names. Unset = disabled.",
          "format": "string",
          "name": "DBGPROBE_MCP_PLUGINS"
        },
        {
          "description": "Tool name separator character (default '.'). Set to '_' for clients that reject dots (e.g. Cursor).",
          "format": "string",
          "name": "DBGPROBE_MCP_TOOL_SEPARATOR"
        }
      ]
    }
  ],
  "_meta": {
    "dev.indusmcp/source": "official-registry-mirror",
    "dev.indusmcp/synced": "2026-05-12"
  }
}