I'm writing a tsumego solver in JS. Most of the problems I've added were actually solved by it. You can check it out here: d180cf.github.io