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

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.