Hugging Face's minimal library for code agents