WS-Mizar tools