Add Tools for Walnut Package