Finish with a working local DexSQL MCP connection, using the user's chosen version and client. DexSQL is closed source: install a prebuilt executable, not a source build. The server runs as over stdio and needs no JVM, GUI, or Python runtime. This skill is installation guidance; installing the skill alone does not install the executable or register an MCP server.

Download to a temporary directory. When the release asset API provides a of the form , compare it with the downloaded file's SHA-256 before running or installing it. A published checksum file is another supported source. Stop on a mismatch. If neither is available, report the computed hash as a local fingerprint, not a verified upstream checksum. Standalone executables need no extraction; extract archives only into the temporary directory, keeping entries within it.

Place the executable and its accompanying license/notices in a versioned, user-writable directory, such as on Windows or on macOS/Linux. Use its absolute path in MCP configuration, so no administrator privileges or shell PATH edits are needed. Normalize the installed filename to on Windows or on macOS/Linux. For bare binaries, also keep and beside the executable. Prefer assets from the same release, using their API-provided URLs and digests. If or is not an asset, fetch using the selected release's actual , not the default branch. is required; retain whenever that version provides it. Third-party notices are compressed inside the executable; no separate notice download is needed. When a readable copy is requested, run with the installed executable to export complete UTF-8 text offline. The command refuses to overwrite existing files. Preserve supplied notices and access to embedded notices. On macOS/Linux, ensure the executable bit is set. Preserve an existing install until the new executable passes verification. Do not disable OS security checks to force an incompatible or blocked binary to run.

Inspect the relevant existing configuration and preserve unrelated servers and settings. For a new connection, add a server named . For an update, change only that server's executable path unless the user requested other changes; retain custom arguments, environment settings, and timeouts. Back up a config file before editing it. An already-correct entry needs no rewrite.

For Codex, prefer its CLI for a new entry:

codex mcp add dexsql -- /absolute/path/to/dexsql mcp
codex mcp get dexsql --json

Quote the executable path as required by the user's shell. If Codex CLI is not available, merge this table into the chosen Codex config file:

[mcp_servers.dexsql]
command = "/absolute/path/to/dexsql"
args = ["mcp"]

For clients using

mcpServers

JSON, merge this entry into their documented configuration location, or use their MCP settings UI:

{
  "mcpServers": {
    "dexsql": {
      "command": "/absolute/path/to/dexsql",
      "args": ["mcp"]
    }
  }
}

Use proper JSON/TOML escaping for Windows paths. Do not assume every client uses the same config path or schema. Do not install another AI client merely to finish this task. This is a local stdio server; no network listener or API key is needed.

Run , then verify an MCP initialize handshake and through the client when available, or a temporary stdio MCP probe. The tool list must include , , and . Close the probe afterward. Config registration alone is not a successful connection test.

If the client needs a restart or new chat before discovering the server, state that separately from the verified executable/protocol status. Do not claim the current chat is connected until its tools are available. Analyze an APK only if the user asked; installation does not require opening their files.

Report the installed version, executable path, config location, verification result, and any remaining client reload step. A useful first prompt is: "Open this APK with DexSQL, find methods referencing this string, and show their callers and Smali."