That's me...I'd rather spend 10 minutes wiping carbon off each time than an hour scraping it off later, though WD-40 is great carbon breaker.
I do put oil in it each time after I clean it though.
This little tool seems pricey, but it does its job:
AR15 Tool, Combat Applications-# CAT M-4 | LaRue Tactical