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

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.