From comments below. Just one more comment: I think we should make a distinction between a tool that can verify threaded code and a tool that can verify the code that implements threading. The latter is what you are looking
blog administration
Nonessential update: if you are getting a feed, you can update the path /w/feed/ or /w/rss can have the “w/” drop since this is now the main page.