We describe the Auto and Autograph tools for verification and analysis of concurrent systems in their more recent developments. Auto is dedicated to a philosophy of verification by reduction, based on automata morphisms and quotients. Autograph provides a graphical lay-out on which to display both terms and informations on terms, back and forth to Auto. We stress the openness aspects of both systems and their interface formats to the outside world. We see this as a contribution to the evergrowing collaborative trends in between similar tools, mostly under the pressure of national or european Esprit projects.