This is a package that can take in a normal PDDL domain and problem as well as a meta action, and compile them into a Stackelberg Variant. This Stackelberg Variant can then be used to verify the validity of the meta action. This is designed to work with the Stackelberg-SLS planner. This is based on the paper Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning. The project is also available as a package on the Nuget Package Manager.