Ikwyt is a software verification engine undergoing intense R&D in Aytwit's research labs. Its initial purpose is to automagically prove that a website has no bugs or security problems. It drives Thoughter
and this whole website. Please subscribe to be notified
when more information about Ikwyt is released.