Chiasmus is an MCP server that gives language models access to formal verification - yogthos/chiasmus

This page collects my blog posts on the fight against spam bots, search engine crawlers and other non-humans wasting the precious resources we have on Earth. There’s a “how-to” of my current setup on the Fight bots pages.

An open list of web crawlers associated with AI companies and the training of LLMs to block, including a number of crawlers sourced from Dark Visitors.