Automation of a Matching On-Shell Calculator López-Miras, Javier Vilches, Fuensanta Effective field theory Matching On-shell methods We introduce mosca, a Mathematica package designed to facilitate on-shell calculations in effective field theories (EFTs). This initial release focuses on the reduction of Green’s bases to physical bases, as well as transformations between arbitrary operator bases. The core of the package is based on a diagrammatic on-shell matching procedure, grounded in the equivalence of physical observables derived from both redundant and non-redundant Lagrangians. mosca offers a complete set of tools for performing basis transformations, diagram isomorphism detection, numerical substitution of kinematic configurations, and symbolic manipulation of algebraic expressions. Planned future developments include extension to one-loop computations, thus providing support for EFT renormalization directly in a physical basis and automated computation of one-loop finite matching, including contributions from evanescent operators. 2025-11-19T11:15:07Z 2025-11-19T11:15:07Z 2025-11-19 journal article Javier López Miras, Fuensanta Vilches, Automation of a Matching On-Shell Calculator, Computer Physics Communications (2025), doi: https://doi.org/10.1016/j.cpc.2025.109935 https://hdl.handle.net/10481/108088 10.1016/j.cpc.2025.109935 eng info:eu-repo/grantAgreement/EU/PRTR/AST22 6.5 info:eu-repo/grantAgreement/EU/PRTR/CNS2022-136024 http://creativecommons.org/licenses/by-nc-nd/4.0/ open access Attribution-NonCommercial-NoDerivatives 4.0 Internacional Elsevier