Hi Mike,
you can use e.g. a K64F board and flash the binary "\simw-top\binaries\MCU\se05x\se05x_ccid-T1oI2C-frdmk64f.bin" on it. This will provide a CCID reader interface on the K64F USB port which can be used with standard PC/SC API.
Then just connect the A5000 board to the K64F and the K64F USB port to the PC. Then you can connect with jcshell to the A5000 over I2C like you connect to a PC/SC reader.
Kind regards,
Michael