Rodger's iOS Music Export

A read-only skill and skills-only plugin for local Codex on macOS. It exports locally stored music from a USB-connected iOS device without Finder or Music sync. It uses an existing Apple pairing when one is present; if pairing is absent, it stops before the persistent Trust action and asks for explicit permission.

It was created from a proven recovery of 295 exact Electro tracks from an iPad mini 2 running iOS 12.5.8. That is the current proven baseline; other models and schemas fail closed unless validated. It performs exact case-insensitive genre matching, preserves collisions, resumes completed or hash-proven tracks, and verifies local copies with sizes and SHA-256 hashes. When ffprobe is installed it also checks audio streams and embedded genre tags.

Install as a Codex plugin

Install it through the Codex plugin directory once OpenAI has approved the listing. Until then, clone the public source and link the included skill directory into the user skill scope:

git clone https://git.dimensionlab.net/Rodger/rodgers-ios-music-export.git \
  "$HOME/plugins/rodgers-ios-music-export"
mkdir -p "$HOME/.agents/skills"
ln -s "$HOME/plugins/rodgers-ios-music-export/skills/rodgers-ios-music-export" \
  "$HOME/.agents/skills/rodgers-ios-music-export"

Start a new Codex task after installation so discovery refreshes.

Safety

The bundled script enforces read-only usbmuxd, lockdownd, and AFC allowlists and never pairs, unpairs, syncs, uploads, deletes, renames, or writes on the device. Local exports, append-only checksum-bound manifests, and empty manifest-lock sidecars are created only at disclosed user-authorized paths. Existing untrusted files, symlinked paths, changing databases, source mutations, and late collisions cause a hard stop.

Read the skill's compatibility reference before using it with a new iOS version.

Support and policies

• Privacy
• Terms
• Support
• OpenAI directory submission notes

Licensed under the MIT License.