iOS client for managing agents via Agent Client Protocol and codex app-server, by @njukidreborn