I have long dreamt of a reasonable open source math search engine. My wife is getting a graduate degree in computational linguistics, and whenever she or one of her friends doesn't know what project to do, I try to convince them that mathematicians would love to have one.
In other words, I'd appreciate it if you (and others) open sourced it.
I failed to attract users, lost interest and abandoned it several years ago, nevertheless it has the best (among math search engines) support of equivalence between formulas. For example, the following formulas are equal to uniquation: "x_{n+1} = r x_n (1 - x_n)" and "k y_i (1 - y_i) = y_{i+1}".
I'm going to open source it and maybe it can be merged into your project. What's about your project if it is proprietary or open source?