The UniForM-Workbench is an open tool integration environment providing type-safe communication, a toolkit for graphical user interfaces, version management and configuration management. It is specifically geared towards formal methods and based on the encoding of formal methods into the theorem prover Isabelle. The UniForM-Workbench thus tackles both the technical and the semantical problems arising when integrating tools for formal methods.