Man pages matching name mobical in section 1:

mobical.1.en

debian 12 / cadical