get_spring_initializr
List Spring Initializr project options or dependencies, filtering dependencies by id, name, or description to choose build, Java, language, and Spring Boot versions.
Instructions
Liste les options de Spring Initializr (start.spring.io : build, Java, langage, versions de Spring Boot) ou ses dépendances, avec filtre texte sur l'id, le nom ou la description
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| query | No | Filtre texte sur les dépendances (id, nom, description), ex. 'jpa' ou 'security'. Ignoré pour section=options | |
| section | No | Ce qu'il faut lister : les options du projet ou les dépendances disponibles | options |