Spec adapter for CodeCity