MediaWiki + Isabelle?

Just noticed a blog entry on combining MediaWiki and the Metamath proof-checking engine.
It would be very nice to have the same, but with Isabelle/ZF as the proof checker...