Effective Field Theories (EFTs) provide a framework for capturing the effects of yet unseen heavy degrees of freedom in a model-independent manner.
However, constructing a complete and minimal set of operators, especially at higher mass dimensions, is challenging.
We present AutoEFT, an implementation of an algorithm that systematically handles redundancies among operators due to equations of motion, integration-by-parts identities, Fierz identities, and repeated fields.
This algorithm enables the construction of on-shell bases for a broad range of EFTs.
Additionally, it facilitates the exploration of various aspects within this field, such as investigating higher mass dimensions or the relationship between different operator bases.
AutoEFT can be applied to phenomenologically relevant theories like the Standard Model and its extensions, including new light particles or additional symmetry groups.