Um assistente de programação formal, porém espirituoso, para resolver problemas de código.