java_docs
Fetch JDK class javadoc or Spring Boot reference sections as markdown for API documentation lookup.
Instructions
Fetch JDK class javadoc or a Spring Boot reference section as markdown.
identifier resolution order:
"spring" or "spring:" (e.g. "spring:using") → Spring Boot reference section;
dotted names like "java.util.List" → fully-qualified class; the module is resolved from the search index when possible, otherwise java.base is tried first and then a fixed list of fallback modules;
plain names like "HttpClient" → exact-name lookup in the search index (class/interface preferred when the name is ambiguous, with a "note" listing alternates).
topic (e.g. "methods", "fields", "constructors", "nested") keeps only
that heading section plus title/description; if no such section exists the
full content is returned with a "note" listing the available headings.
max_tokens truncates the final markdown to roughly that many tokens
(estimated as len(text)//4), cut at a line boundary, and sets
"truncated": true when applied.
On failure returns {"error", "suggestion"} — try java_search() to find the right name or package.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| topic | No | ||
| identifier | Yes | ||
| max_tokens | No |