A web application that allows students in 6.005 to practice creating adequate specifications for their implementations.