Texvc is an OCaml script which validates AMSLaTeX math expressions and converts them to HTML, MathML or PNG graphics. It is free software and distributed with Mediawiki. See the Wikipedia article about Texvc.