DexSQL
MCPB · DEXSQL.MCPB
SQL for Android APK and DEX files: classes, methods, strings, references and smali.
Available components
Last scanned (2 hours ago)
Scores higher than 72% of MCPB servers
Category Developer Tools
How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. How we score → Why this is hard to score →
Supply Chain Security0
- No malware scan is available for this kind of package: the supply-chain vendors we use do not cover it. This is a permanent gap in our coverage, not a finding about the package.Unverified
- Known CVEs could not be checked: we found no dependency list to check in this bundle: either it runs a compiled binary, whose bundled manifests we do not read, or none of the package.json, requirements.txt, pyproject.toml or uv.lock files it ships for its runtime declares a dependency we can read (a requirements.txt that only points at a setup.py project, a local path, or a nested requirements file we cannot follow counts as none).Unverified
- Install-script risk not yet assessed.Unverified
- Dependency health could not be checked: we found no dependency list to check in this bundle: either it runs a compiled binary, whose bundled manifests we do not read, or none of the package.json, requirements.txt, pyproject.toml or uv.lock files it ships for its runtime declares a dependency we can read (a requirements.txt that only points at a setup.py project, a local path, or a nested requirements file we cannot follow counts as none).Unverified
Provenance & Transparency32
- Source repository is publicly reachable at the declared URL. View diagnostics → Pass
- Provenance check failed: no build-provenance attestation is published. See how to fix → View diagnostics → Fail
- License check failed: the license (LicenseRef-DexSQL-Binary) isn't a recognized OSI-approved license. See how to fix → Fail
- Actively maintained (last published 18 days ago).Pass
- Disclosure check failed: no security disclosure policy was found in the source repository. See how to fix → Fail
Schema Quality & AI Usability40
- 0% of prompts and resources have a non-trivial description (not blank, and not just the item's name).Fail
- AI-judged instruction clarity (good).Pass
- Tool/resource definitions use about 2053 tokens (~68/item across 30 items; 12 tools + 18 resources), lean.Pass
- Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management63
- Stability observed for 19 of 30 days with no destabilising changes; credit accrues until the full window elapses.Partial
Tool Coverage85
- 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
- 46% of tool parameters carry a description.Partial
- Structured output schemas are declared (17% of tools); any adoption earns full credit.Pass
Tool Safety100
- No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
- We read all 12 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
- An AI judge read all 14 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
- Implements a current MCP spec version (2026-07-28).Pass
Unverified: 1 category
A category scored 0 because we could not verify it: a data source with nothing on this package, evidence we could not reach, or a check we could not run. We only credit what we can confirm.
Checks we ran (12)
- Source repository
- Provenance
- License
- Maintenance
- Security disclosure
- Schema quality
- Stability
- Tool coverage
- Injection markers
- Destructive annotations
- Judged manipulation
- MCP protocol
Checks we could not complete (4)
These are gaps on our side, not findings about this package. We only credit what we can confirm, so a category made up entirely of them scores 0.
- Malware scan in Supply Chain Security (scores 0 for this)No malware scan is available for this kind of package: the supply-chain vendors we use do not cover it. This is a permanent gap in our coverage, not a finding about the package.
- Known CVEs in Supply Chain Security (scores 0 for this)Known CVEs could not be checked: we found no dependency list to check in this bundle: either it runs a compiled binary, whose bundled manifests we do not read, or none of the package.json, requirements.txt, pyproject.toml or uv.lock files it ships for its runtime declares a dependency we can read (a requirements.txt that only points at a setup.py project, a local path, or a nested requirements file we cannot follow counts as none).
- Install scripts in Supply Chain Security (scores 0 for this)Install-script risk not yet assessed.
- Dependency health in Supply Chain Security (scores 0 for this)Dependency health could not be checked: we found no dependency list to check in this bundle: either it runs a compiled binary, whose bundled manifests we do not read, or none of the package.json, requirements.txt, pyproject.toml or uv.lock files it ships for its runtime declares a dependency we can read (a requirements.txt that only points at a setup.py project, a local path, or a nested requirements file we cannot follow counts as none).
Does not apply to this package (2)
- Endpoint SecurityScored on hosted endpoints only. A package has no live endpoint of its own for us to probe.
- Transport & ReachabilityScored on hosted endpoints only. A package has no live endpoint of its own for us to probe.
The score does not measure everything. What the score does not measure →
Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.
- 5 Nov 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 57 to 60. That category is still filling its 30-day observation window: 17 days of observed history at the previous scan, 18 at this one. The score rises as the window fills, whether or not the server changes.
- 3 Nov 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 50 to 53. That category is still filling its 30-day observation window: 15 days of observed history at the previous scan, 16 at this one. The score rises as the window fills, whether or not the server changes.
- 1 Nov 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 43 to 47. That category is still filling its 30-day observation window: 13 days of observed history at the previous scan, 14 at this one. The score rises as the window fills, whether or not the server changes.
- 29 Oct 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 33 to 37. That category is still filling its 30-day observation window: 10 days of observed history at the previous scan, 11 at this one. The score rises as the window fills, whether or not the server changes.
- 27 Oct 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 27 to 30. That category is still filling its 30-day observation window: 8 days of observed history at the previous scan, 9 at this one. The score rises as the window fills, whether or not the server changes.
- 25 Oct 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 20 to 23. That category is still filling its 30-day observation window: 6 days of observed history at the previous scan, 7 at this one. The score rises as the window fills, whether or not the server changes.
- 23 Oct 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 13 to 17. That category is still filling its 30-day observation window: 4 days of observed history at the previous scan, 5 at this one. The score rises as the window fills, whether or not the server changes.
- 21 Oct 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 7 to 10. That category is still filling its 30-day observation window: 2 days of observed history at the previous scan, 3 at this one. The score rises as the window fills, whether or not the server changes.
Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.
Captured 6 Nov 2026 · Analysed mcpb/https://github.com/LSPosed/dexsql-release/releases/download/v0.1.1/dexsql.mcpb
Provenance No attestation
The registry publishes no build provenance for this version, so there is nothing to verify.
| Result | No attestation |
|---|---|
| Ecosystem | mcpb |
| Reason | No attestation published |
Background: How many MCP packages publish verified provenance →
The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →
close_dataset ~39
Close a dataset and release its worker. New requests fail; already accepted requests may finish, with deadlines still enforced.
| Name | Type | Req | Description |
|---|---|---|---|
| dataset_id | string | yes | – |
No output schema declared.
No examples provided.
decode ~321
Inspect a method or class. Exactly one method descriptor, method_idx (with file_id), or class descriptor is required. Classes default to paginated summaries; methods default to paginated smali. Follow next_offset for exact text continuation; context mode lists original line numbers for labels and catch directives. Query SQL tables for annotations and debug metadata.
| Name | Type | Req | Description |
|---|---|---|---|
| class | string|null | – | – |
| compact | boolean | – | Opt in to one structuredContent representation (content is empty). Query columns become names and cells use null/string/number or [i|u|b|f, string]; SQL is omitted. Default false. |
| dataset_id | string | yes | – |
| file_id | integer|null | – | – |
| max_bytes | integer|null | – | – |
| max_lines | integer|null | – | Maximum lines in one text page, default 200, maximum 1000. |
| method | string|null | – | Exact DEX descriptor. Supply exactly one of method, method_idx, or class. |
| method_idx | integer|null | – | DEX-local method index; requires file_id. |
| method_limit | integer|null | – | Methods per class page, default 20, maximum 50. |
| method_offset | integer | – | Class method-list offset, ordered by method_idx. |
| mode | – | – | Defaults to summary for a class, smali for a method. Context lists original label/catch lines. |
| offset | integer | – | UTF-8 byte offset into one method's smali/context text; continue with next_offset. |
| timeout_ms | integer|null | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| dataset_id | string | yes | – |
| method_offset | integer | yes | – |
| methods | array | yes | – |
| mode | – | yes | – |
| next_method_offset | integer|null | – | – |
| total_methods | integer | yes | – |
No examples provided.
describe_table ~29
Describe a built-in SQL table or view; no dataset is needed.
| Name | Type | Req | Description |
|---|---|---|---|
| name | string | yes | – |
No output schema declared.
No examples provided.
get_manifest ~186
Read an APK Manifest as a summary (including paged permissions) or paged decoded XML. input_index refers to open_dataset.inputs; choose it when several archives are open. Does not require DEX or Java decompilation.
| Name | Type | Req | Description |
|---|---|---|---|
| compact | boolean | – | Opt in to one structuredContent representation (content is empty). Query columns become names and cells use null/string/number or [i|u|b|f, string]; SQL is omitted. Default false. |
| dataset_id | string | yes | – |
| input_index | integer|null | – | Index in open_dataset.inputs; required when several archive inputs are present. |
| limit | integer|null | – | – |
| max_bytes | integer|null | – | – |
| mode | – | – | – |
| offset | integer | – | Permission-row offset in summary mode, UTF-8 byte offset in XML mode. |
| timeout_ms | integer|null | – | – |
No output schema declared.
No examples provided.
get_manifest_components ~191
Page Manifest components, names/descriptors, launcher intent filters, aliases and exported configuration. Exported state is manifest-derived and is not a claim of runtime accessibility. Includes explicit and SDK-dependent default states.
| Name | Type | Req | Description |
|---|---|---|---|
| compact | boolean | – | Opt in to one structuredContent representation (content is empty). Query columns become names and cells use null/string/number or [i|u|b|f, string]; SQL is omitted. Default false. |
| dataset_id | string | yes | – |
| input_index | integer|null | – | – |
| kind | string|null | – | Optional activity, activity-alias, service, receiver, or provider filter. |
| limit | integer|null | – | – |
| max_bytes | integer|null | – | – |
| offset | integer | – | – |
| only_exported | boolean | – | Filter by manifest-derived exported state; does not imply runtime accessibility. |
| timeout_ms | integer|null | – | – |
No output schema declared.
No examples provided.
list_datasets ~31
List open datasets and server quotas/usage. Counts include opening datasets and accepted work still holding a closed dataset.
Input schema present but exposes no named parameters.
No output schema declared.
No examples provided.
list_resource_files ~160
Page archive entry names and sizes, optionally filtered by prefix (res/, assets/, lib/). Names identify entries for read_resource; files are never extracted.
| Name | Type | Req | Description |
|---|---|---|---|
| compact | boolean | – | Opt in to one structuredContent representation (content is empty). Query columns become names and cells use null/string/number or [i|u|b|f, string]; SQL is omitted. Default false. |
| dataset_id | string | yes | – |
| input_index | integer|null | – | – |
| limit | integer|null | – | – |
| max_bytes | integer|null | – | – |
| offset | integer | – | – |
| prefix | string|null | – | Case-sensitive archive-entry prefix, for example res/layout/ or assets/. |
| timeout_ms | integer|null | – | – |
No output schema declared.
No examples provided.
list_tables ~22
List all built-in SQL tables and views; no dataset is needed.
Input schema present but exposes no named parameters.
No output schema declared.
No examples provided.
open_dataset ~91
Open local DEX/APK/JAR/ZIP paths as an isolated reusable dataset. Resource-only archives are supported. Input/session quotas and operation deadlines apply. Close unused datasets to release memory.
| Name | Type | Req | Description |
|---|---|---|---|
| inputs | array | yes | Local DEX/APK/JAR/ZIP paths, resolved relative to the server working directory. |
| timeout_ms | integer|null | – | Optional shorter operation deadline; cannot exceed the server's timeout. |
No output schema declared.
No examples provided.
query ~292
Run a read-only SQL batch with exact typed cells, byte/row budgets and per-statement next_offset. Use stable ORDER BY when paging; SQL is re-executed against the current lazy session definitions on each page; CREATE definitions persist until DROP, replacement or dataset close. Running timeout/cancellation closes only this dataset. Use resources/list to discover the documentation.
| Name | Type | Req | Description |
|---|---|---|---|
| compact | boolean | – | Opt in to one structuredContent representation (content is empty). Query columns become names and cells use null/string/number or [i|u|b|f, string]; SQL is omitted. Default false. |
| dataset_id | string | yes | – |
| limit | integer|null | – | Returned rows per statement, default 200; use a deterministic ORDER BY when paging. |
| max_bytes | integer|null | – | Optional lower serialized result-byte budget; rows are never silently clipped. |
| named_temp_queries | array | – | Lazy named SELECT definitions, retained in this dataset with the same lifetime as TEMP tables. |
| offset | integer | – | Rows to skip in each statement's result, default 0. offset + limit is at most 100000. |
| sql | array | yes | Read-only SQL statements. VIEW and TEMP definitions are lazy and persist in this dataset until DROP, redefinition, or close_dataset; results are not cached across calls. |
| timeout_ms | integer|null | – | – |
| timing | boolean | – | – |
| Name | Type | Req | Description |
|---|---|---|---|
| dataset_id | string | yes | – |
| diagnostics | array | yes | – |
| statements | – | yes | – |
| timing | – | – | – |
No examples provided.
query_resources ~260
Query resources.arsc by numeric ID, exact type/name, type, name substring or configuration. Returns matching configurations with raw values and named references; complex resources are flattened into ordered map items. Separate from DEX strings.
| Name | Type | Req | Description |
|---|---|---|---|
| compact | boolean | – | Opt in to one structuredContent representation (content is empty). Query columns become names and cells use null/string/number or [i|u|b|f, string]; SQL is omitted. Default false. |
| configuration | string|null | – | Exact qualifier string from a previous result. Empty string selects the default config. |
| contains | string|null | – | Case-sensitive substring of the resource name. |
| dataset_id | string | yes | – |
| input_index | integer|null | – | – |
| limit | integer|null | – | – |
| max_bytes | integer|null | – | – |
| name | string|null | – | Exact type/name or package:type/name, for example string/app_name. |
| offset | integer | – | – |
| resource_id | integer|null | – | Resource ID, for example 2130771968 (0x7f010000). |
| resource_type | string|null | – | Resource type, for example string, layout, id, style, or array. |
| timeout_ms | integer|null | – | – |
No output schema declared.
No examples provided.
read_resource ~191
Read one exact APK archive entry in bounded pages. Binary Android XML is decoded; UTF-8 text is preserved; other bytes use hex. Follow next_offset in page (text) or the result (hex). The resource-entry size quota applies before decompression.
| Name | Type | Req | Description |
|---|---|---|---|
| compact | boolean | – | Opt in to one structuredContent representation (content is empty). Query columns become names and cells use null/string/number or [i|u|b|f, string]; SQL is omitted. Default false. |
| dataset_id | string | yes | – |
| format | – | – | – |
| input_index | integer|null | – | – |
| max_bytes | integer|null | – | – |
| name | string | yes | Exact archive entry name. No files are extracted to the filesystem. |
| offset | integer | – | Byte offset in decoded UTF-8 text, or original bytes when encoding is hex. |
| timeout_ms | integer|null | – | – |
No output schema declared.
No examples provided.
How do I install the DexSQL MCP server?
DexSQL ships as an MCPB bundle, a single file you download and open in an MCP host that supports MCPB bundles, such as Claude Desktop. The host reads the launch command from the bundle's own manifest, so there is no command to copy. Before opening it, check the file's SHA-256 matches the one the MCP registry declares for it, b751989b902bc6fb75422aa5bc4384235ea02a29edb8d61a6f3ec55aeedf44f1; the commands to do that are on this page. If it does not match, do not open it.
mcpb · dexsql.mcpb
Download bundleCheck the download matches the SHA-256 the MCP registry declares before you open it. If it does not match, do not open the file.
SHA-256
b751989b902bc6fb75422aa5bc4384235ea02a29edb8d61a6f3ec55aeedf44f1
macOS / Linux
echo "b751989b902bc6fb75422aa5bc4384235ea02a29edb8d61a6f3ec55aeedf44f1 dexsql.mcpb" | shasum -a 256 -c
Windows (PowerShell)
(Get-FileHash -Algorithm SHA256 .\dexsql.mcpb).Hash -eq "b751989b902bc6fb75422aa5bc4384235ea02a29edb8d61a6f3ec55aeedf44f1"
Run it in the folder you saved the bundle to, then open the file with an MCPB-capable host such as Claude Desktop.
What is the DexSQL MCP server?
DexSQL is an MCP server listed in the public MCP registry as org.lsposed/dexsql. SQL for Android APK and DEX files: classes, methods, strings, references and smali. This page covers its MCPB bundle (https://github.com/LSPosed/dexsql-release/releases/download/v0.1.1/dexsql.mcpb).
Is the DexSQL MCP server safe to use?
DexSQL scores 39 out of 100 on VerifyMCP. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.
What tools does the DexSQL MCP server expose?
DexSQL exposes 12 tools: close_dataset, decode, describe_table, get_manifest, get_manifest_components, and 7 more. Their descriptions and schemas cost roughly 1,813 tokens of context every time the server is loaded.
What licence is the DexSQL MCP server under?
DexSQL declares the LicenseRef-DexSQL-Binary licence, which is not on the OSI-approved list. Read the terms before using it at work, and note this covers the source only, not the cost of any service it calls.
What did VerifyMCP test on the DexSQL MCP server?
VerifyMCP ran 12 checks on DexSQL, covering Source repository, Provenance, License, Maintenance and 8 more. 4 items could not be completed, a gap on our side rather than a finding about DexSQL: Malware scan, Known CVEs, Install scripts and Dependency health. One category scores 0 for that reason, because we only credit what we can confirm. Endpoint Security and Transport & Reachability do not apply to an MCPB bundle, so they were not tested. The score does not measure everything, and the scoring documentation lists what it leaves out.