lean-java SKILL.md skillA
lean-java from lean-llm/lean-agents is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.
mdr add lean-llm/lean-agents/lean-java@git:20261019.da88d4bPins git:20261019.da88d4b in mdr.lock. Pin the fingerprint instead.
- Audit grade
- A, 17 of 17 checks passed
- Kind
- SKILL.md skill
- Repository
- lean-llm/lean-agents
- Path
skills/lean-java/SKILL.md- Versions recorded
- 2
- Latest version
- git:20261019.da88d4b, committed Oct 19, 2026
- First version recorded
- Oct 18, 2026
- Size
- 7,524 bytes
- Repository stars
- 27
- License
- none declared
Load lean-java when working on Java/JVM projects: Bukkit/Spigot/Paper/Folia plugins, Maven, testing, concurrency, performance, libraries or Spring Boot. Also load lean-web for mixed-stack tasks.
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file says
# lean-java ## Contract Use with `AGENTS.md` for roles/delegation. This skill governs Java implementation, not task routing. Read current source; keep the requested scope. Delegated CODER loads it; ORCHESTRATOR need not duplicate reads. Stop at verified outcome or explicit blocker. ## Detect before edits Identify JDK + configured bytecode, Maven/Gradle, modules, framework, deploy targets, test setup. Preserve public contracts and the project's chosen architecture. Minecraft plugins default to **Java 8 bytecode and 1.8–1.21+ compatibility** unless repository explicitly differs; compiling against modern Spigot/Paper APIs does not prove legacy linkage. Check Folia ownership and runtime detection. No Java upgrade, new framework, dependency, Lombok, storage stack, or generated-file edits without need. ## Work: root cause → minimal patch → proof Reproduce or trace a falsifiable failing path. Fix the owner of the defect, not its symptom; inspect event order, callback timing, persistence ordering, reload and failure paths. Preserve null/error contracts, units, permissions, security and UX. No speculative features, unrelated refactors or Git mutations. ## Design/API …
Read the whole file at its exact version.
How to install
mdr add lean-llm/lean-agents/lean-java@sha256:795a789a9f51051dThe line at the top of this page pins the label git:20261019.da88d4b, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
[](https://markdownregistry.com/a/art_ykcuzl4uoib6cygg)
1 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 2 versions of this file, between Oct 18, 2026 and Oct 19, 2026, about one every 2 days.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20261019.da88d4b latest | 2026-10-19 | da88d4b | 7,524 B | A | view · diff |
| git:20261018.132f5b9 | 2026-10-18 | 132f5b9 | 7,656 B | A | view |
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (7524 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Source
lean-llm/lean-agents · 27 stars · license none declared · pushed 2026-11-06 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_ykcuzl4uoib6cygg GET https://markdownregistry.com/api/v1/resolve?ref=lean-llm/lean-agents/lean-java GET https://markdownregistry.com/api/v1/blob/795a789a9f51051d95a485ef6a9d6e9c529a69f32e990a78882f169dd51254c4
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.