Text this: Implementation of a cut−free sequent calculus for logics with adjoint modalities