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.