Neurosymbolic Tools For Effective Coding And Debugging