
Pref Editor is a tool for viewing and editing Android app preferences during development.
1.2K
7 Tools
Version 4.43 or later needs to be installed to add the server automatically
About
Pref Editor is a tool for viewing and editing Android app preferences during development.
| Attribute | Details |
|---|---|
| Docker Image | mcp/pref-editor |
| Author | charlesmuchene |
| Repository | https://github.com/charlesmuchene/pref-editor-mcp-server |
| Dockerfile | https://github.com/charlesmuchene/pref-editor-mcp-server/blob/main/Dockerfile |
| Docker Image built by | Docker Inc. |
| 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 |
| 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 |
add_preferenceAdds 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 |
change_preferenceChanges 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 |
delete_preferenceDelete 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 |
devicesLists connected Android devices
list_appsLists apps installed on device
| Parameters | Type | Description |
|---|---|---|
deviceId | string | The device's serial number. |
list_filesLists preference files for an app
| Parameters | Type | Description |
|---|---|---|
appId | string | The application's package name. |
deviceId | string | The device's serial number. |
read_preferencesReads 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. |
{
"mcpServers": {
"pref-editor": {
"command": "docker",
"args": [
"run",
"-i",
"--rm",
"mcp/pref-editor"
]
}
}
}
Manual installation
You can install the MCP server using:
Installation for