Base for Tool integration in CosyVerif