Catfact: Computer algebraic tools for applications of catastrophe theory. We describe the current state of a package, written in REDUCE, that is being developed to solve the following problems that arise in applications of elementary catastrophe theory. For an input unfolding of some singularity, the recognition problem is to find a set of topological invariants that fix the equivalence class of the singularity. If the modality invariant is less than 3 then normal forms for unfoldings are known. The recognition algorithm employs the Buchberger Algorithm for Gröbner bases modified to the local requirements of singularity theory. The mapping problem is to find the taylor polynomial, up to any desired degree, of the right-equivalence that transforms the given unfolding into its normal form.