install-dexsql

DexSQL MCP をインストールする

ユーザーが選択したバージョンとクライアントを使用して、DexSQL MCP のローカル接続を正常に完了します。DexSQL はクローズドソースのため、ソースからビルドせず、ビルド済みの実行ファイルをインストールしてください。サーバーは標準入出力経由で dexsql mcp として実行され、JVM、GUI、Python ランタイムは必要ありません。このスキルはインストール方法を案内するものであり、スキルだけをインストールしても、実行ファイルのインストールや MCP サーバーの登録は行われません。

実行ファイルを選択する

• ホストの OS とアーキテクチャ、要求された MCP クライアント、既存の DexSQL 実行ファイルや設定を検出します。現在使用しているローカルクライアントが明らかな場合はそれを推定し、接続先のクライアントやスコープが本当に曖昧な場合に限り、ユーザーに確認します。
• ユーザーが更新を要求していない限り、互換性のある既存の実行ファイルを優先します。ユーザーが用意したローカル実行ファイルも使用できます。設定する前に --version と mcp --help を確認します。
• それ以外の場合は、実際のアセットを次の場所で確認します。 https://api.github.com/repos/LSPosed/dexsql-release/releases/latest または、指定されたバージョンの場合は https://api.github.com/repos/LSPosed/dexsql-release/releases/tags/<tag> を確認します。ユーザー向けのリリース一覧は https://github.com/LSPosed/dexsql-release/releases です。
• 検出した OS／アーキテクチャ向けの CLI 実行ファイルまたはアーカイブを選択します。WASM バンドル、ソースアーカイブ、または別のプロジェクトのバイナリで代用しないでください。API に記載された実際の browser_download_url を使用し、アセット名を推測して作成しないでください。
• 対応プラットフォーム、アーキテクチャ、パッケージ形式、システム要件の確認には、選択したリリースの実際のアセットとリリースノートを使用します。ダウンロード前にホストとの互換性を確認し、別のリリースの固定プラットフォーム一覧やアセット名に頼らないでください。
• リポジトリにアクセスできない場合、リリースが存在しない場合、または一致するバイナリがない場合は、具体的な問題を説明し、ユーザーが用意したローカル実行ファイルまたは公式リリース URL を受け付けます。インストールに成功したと主張したり、クローズドソースのエンジンをビルドしようとしたりしないでください。

ローカルにインストールする

一時ディレクトリにダウンロードします。リリースアセット API に sha256:<hex> 形式の digest がある場合は、実行またはインストールする前に、ダウンロードしたファイルの SHA-256 と照合します。公開されているチェックサムファイルも使用できます。不一致の場合は中止します。どちらも利用できない場合は、計算したハッシュを検証済みの上流チェックサムではなく、ローカルのフィンガープリントとして報告します。単体の実行ファイルは展開する必要がありません。アーカイブは一時ディレクトリ内に展開し、エントリがその範囲内にとどまるようにします。

実行ファイルと付属のライセンス／通知ファイルを、Windows では %LOCALAPPDATA%/DexSQL/<version>/、macOS／Linux では ~/.local/share/dexsql/<version>/ など、ユーザーが書き込み可能なバージョン別ディレクトリに配置します。管理者権限やシェルの PATH 編集が不要になるよう、MCP 設定では絶対パスを使用します。インストール後のファイル名は、Windows では dexsql.exe、macOS／Linux では dexsql に統一します。単体バイナリの場合は、LICENSE と LICENSE-AUXILIARY も実行ファイルの隣に保持します。同じリリースのアセットを優先し、API が提供する URL とダイジェストを使用します。LICENSE または LICENSE-AUXILIARY がアセットにない場合は、選択したリリースの実際の tag_name を使用して、デフォルトブランチではなく https://raw.githubusercontent.com/LSPosed/dexsql-release/<tag>/<filename> から取得します。 LICENSE は必須です。そのバージョンで LICENSE-AUXILIARY が提供されている場合は、必ず保持します。サードパーティーの通知は実行ファイル内に圧縮されているため、別途ダウンロードする必要はありません。読み取り可能なコピーを求められた場合は、インストールした実行ファイルを使って dexsql extract licenses --output THIRD_PARTY_NOTICES を実行し、完全な UTF-8 テキストをオフラインでエクスポートします。このコマンドは既存ファイルの上書きを拒否します。提供された通知と、埋め込み通知へのアクセスを保持します。macOS／Linux では実行ビットが設定されていることを確認します。新しい実行ファイルの検証に合格するまでは、既存のインストールを保持します。互換性がない、またはブロックされているバイナリを強制的に実行するために、OS のセキュリティチェックを無効にしないでください。

指定されたクライアントを接続する

関連する既存の設定を確認し、無関係なサーバーや設定は保持してください。新しい接続の場合は、dexsql という名前のサーバーを追加します。更新の場合は、ユーザーがほかの変更を依頼していない限り、そのサーバーの実行可能ファイルのパスのみを変更し、カスタム引数、環境設定、タイムアウトは保持してください。設定ファイルを編集する前にバックアップを作成してください。すでに正しく設定されている項目は書き換える必要はありません。

Codex では、新しい項目の追加に CLI を優先してください。

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

ユーザーのシェルで必要な形式に従って、実行可能ファイルのパスを引用符で囲んでください。Codex CLI が利用できない場合は、このテーブルを選択した Codex 設定ファイルにマージしてください。

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

mcpServers JSON を使用するクライアントでは、この項目をドキュメントに記載されている設定場所にマージするか、MCP 設定 UI を使用してください。

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

Windows パスには適切な JSON/TOML エスケープを使用してください。すべてのクライアントが同じ設定パスやスキーマを使用するとは限りません。この作業を完了するためだけに、別の AI クライアントをインストールしないでください。これはローカルの stdio サーバーであり、ネットワークリスナーや API キーは必要ありません。

検証して引き継ぐ

--version を実行し、クライアントが利用できる場合はクライアント経由で、そうでない場合は一時的な stdio MCP プローブを使って、MCP 初期化ハンドシェイクと tools/list を検証してください。ツール一覧には open_dataset、query、decode が含まれている必要があります。検証後はプローブを終了してください。設定への登録だけでは、接続テストが成功したことにはなりません。

サーバーの検出にクライアントの再起動や新しいチャットが必要な場合は、検証済みの実行可能ファイル／プロトコルの状態とは分けて記載してください。現在のチャットでツールが利用可能になるまでは、接続済みだと主張しないでください。ユーザーから依頼された場合にのみ APK を解析してください。インストールのためにユーザーのファイルを開く必要はありません。

インストール済みバージョン、実行可能ファイルのパス、設定の場所、検証結果、残っているクライアントの再読み込み手順を報告してください。最初のプロンプトとして、次のようなものが役立ちます。 「この APK を DexSQL で開き、この文字列を参照するメソッドを見つけて、その呼び出し元と Smali を表示してください。」