After more AI bot attacks: isabelle-dev.sketis.net is now for members only

Makarius makarius at sketis.net
Tue May 6 16:36:39 CEST 2025


Recently we have seen massive attacks by dumb AI bots again. After tinkering 
with the webserver configuration for 1-2h, I did not manage to achieve 
significant improvements.

As a consequence, I have now disabled the public access to 
isabelle-dev.sketis.net --- it is for members only, who also need to be logged-in.

People who are directly involved in the isabelle-dev process and don't have an 
account yet can email me privately.


	Makarius



More information about the isabelle-dev mailing list