The agent tool formulary: certified-equivalent substitution — history · Wellknown