search_spring_docs
Search Spring Boot documentation by keywords, filter by doc type or version, and retrieve relevant results.
Instructions
Recherche dans la documentation Spring Boot avec des mots-clés
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | Nombre maximum de résultats à retourner | |
| query | Yes | Les mots-clés à rechercher dans la documentation | |
| docType | No | Type de documentation à rechercher. `content` = recherche plein texte (classement BM25) dans les pages déjà lues par le serveur (get_spring_project, get_spring_reference, get_spring_guide) ; inclus dans `all`. | all |
| version | No | Version de la documentation de référence Spring Boot (ex. '3.4' ou '3.4.2' ; le patch est ignoré ; 'current' ou absent = dernière). Ne s'applique qu'à la partie référence (et aux pages de référence Boot de la recherche plein texte) : les guides et les projets ne sont pas versionnés et ignorent ce paramètre. |