But command prefixes are mIRC things. They're not sent to the server!

No matter if you type /ctcpreply or /.ctcpreply, server gets only CTCPREPLY.

Unless, of course, you have your own /ctcpreply alias, or you're using sockets to send it.