built-in: selected models for EFT functions (see flowchart below) and the possibility to choose their functional form arbitrarily according to any ansatz the user wants to investigate, including the opportunity to set all/some of them to zero.
built-in: Pure EFT Horndeski, restricts pure EFT models to the Horndeski class of theories with four free functions.
Designer mapping EFT: Built-in: designer f(R), Minimally coupled quintessence;
Full EFT Mapping: Low-energy Horava gravity.
built-in: ReParametrization of the Horndeski class of theories (RPH) in terms of four functions of time which correspond to specific physical properties of the scalar dof.
built-in: physical conditions: positive non-minimal coupling function, the avoidence of ghost and gradient instabilities;
built-in: Mathematical (or classical) conditions: well defined π -field equation, no fast exponential growing of the π -field perturbations, well defined tensor perturbations equation.
built-in: CMB data.