Pref Editor MCP Server
Pref Editor is a tool for viewing and editing Android app preferences during development.
MCP Info
| Attribute | Details |
|---|---|
| Docker Image | mcp/pref-editor |
| Author | charlesmuchene |
| Repository | https://github.com/charlesmuchene/pref-editor-mcp-server |
Image Building Info
| Attribute | Details |
|---|---|
| Dockerfile | https://github.com/charlesmuchene/pref-editor-mcp-server/blob/8a795f068654c4d2eb67c1138a72438fe2911e35/Dockerfile |
| Commit | 8a795f068654c4d2eb67c1138a72438fe2911e35 |
| Docker Image built by | Docker Inc. |
| Docker Scout Health Score | Docker Scout Health Score |
| Verify Signature | COSIGN_REPOSITORY=mcp/signatures cosign verify mcp/pref-editor --key https://raw.githubusercontent.com/docker/keyring/refs/heads/main/public/mcp/latest.pub |
| Licence | Apache License 2.0 |
Available Tools (7)
| Tools provided by this Server | Short Description |
|---|---|
add_preference |
Adds a new preference given the name, value and type. |
change_preference |
Changes the value of an existing preference |
delete_preference |
Delete an existing preference |
devices |
Lists connected Android devices |
list_apps |
Lists apps installed on device |
list_files |
Lists preference files for an app |
read_preferences |
Reads all user preferences in a file |
Tools Details
Tool: add_preference
Adds a new preference given the name, value and type.
| Parameters | Type | Description |
|---|---|---|
appId |
string |
The application's package name. |
deviceId |
string |
The device's serial number. |
filename |
string |
The filename with or without the extension. |
name |
string |
The name/key of the user preference |
type |
string |
The type of the preference value: integer, boolean, float, double, long or string |
value |
string |
The value of user preference |
Tool: change_preference
Changes the value of an existing preference
| Parameters | Type | Description |
|---|---|---|
appId |
string |
The application's package name. |
deviceId |
string |
The device's serial number. |
filename |
string |
The filename with or without the extension. |
name |
string |
The name/key of the user preference |
value |
string |
The value of user preference |
Tool: delete_preference
Delete an existing preference
| Parameters | Type | Description |
|---|---|---|
appId |
string |
The application's package name. |
deviceId |
string |
The device's serial number. |
filename |
string |
The filename with or without the extension. |
name |
string |
The name/key of the user preference |
Tool: devices
Lists connected Android devices
Tool: list_apps
Lists apps installed on device
| Parameters | Type | Description |
|---|---|---|
deviceId |
string |
The device's serial number. |
Tool: list_files
Lists preference files for an app
| Parameters | Type | Description |
|---|---|---|
appId |
string |
The application's package name. |
deviceId |
string |
The device's serial number. |
Tool: read_preferences
Reads all user preferences in a file
| Parameters | Type | Description |
|---|---|---|
appId |
string |
The application's package name. |
deviceId |
string |
The device's serial number. |
filename |
string |
The filename with or without the extension. |
Use this MCP Server
{
"mcpServers": {
"pref-editor": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"mcp/pref-editor"
]
}
}
}