jmarkdoc: The Java Markdown Doc(let) 📎
jmarkdoc is a JavaDoc doclet that generates Markdown API documentation from Java sources and comments, ready for RAG pipelines, developer portals, and AI agents.
In Spec-Driven BCE: SBCE (say "space"), jmarkdoc generates the Markdown capability specs from package-info.java files, keeping the spec and the code in a single source. It requires Java 25, relies only on the jdk.javadoc and jdk.compiler modules, supports Markdown JavaDoc comments (JEP 467), adds nine contract tags for preconditions, postconditions, thread-safety, and idempotency, and links methods to EARS requirement IDs.