I don't use special tool for that. I would probably notice something was wrong when my CPU fan would become louder. I also use uBlock with resource abuse list enabled.
Prevention rather than Cure: https://github.com/greatis/Anti-WebMiner/releases http://whoismining.com/