Mechvane — Model Check