Arduino Zero Debugger for Mac OS X

I have tried debugging my Arduino Zero using Eclipse and GNU ARM OpenOCD plugin but no luck (other topic). Command line debug with gdb + OpenOCD works.

Any recommendation for a good Arduino GUI debugger on Mac OS X?