Home / Owners / lean-llm

lean-llm/lean-agents

5 instruction files for AI agents, collected from lean-llm/lean-agents. Install any of them at an exact version with mdr add lean-llm/lean-agents/<name>.

AGENTS.md AGENTS.md file

lean-llm/lean-agents · AGENTS.md

git:20261106.cb02078 · audit A · 27 stars

lean-code SKILL.md skill

lean-llm/lean-agents · skills/lean-code/SKILL.md · Load lean-code for all coding-related tasks: implementing, fixing, refactoring, reviewing, testing, or optimizing code.

git:20261019.da88d4b · audit A · 27 stars

lean-java SKILL.md skill

lean-llm/lean-agents · skills/lean-java/SKILL.md · Load lean-java when working on Java/JVM projects: Bukkit/Spigot/Paper/Folia plugins, Maven, testing, concurrency…

git:20261019.da88d4b · audit A · 27 stars

lean-plan SKILL.md skill

lean-llm/lean-agents · skills/lean-plan/SKILL.md · Load lean-plan when requested to implement tasks into a source code with user instructions given and no snippets or…

git:20261026.2ca71e1 · audit A · 27 stars

lean-web SKILL.md skill

lean-llm/lean-agents · skills/lean-web/SKILL.md · Load lean-web when working on web or Node.js projects: JavaScript, TypeScript, HTML/CSS, React, Next.js, Fastify…

git:20261019.da88d4b · audit A · 27 stars

Source

github.com/lean-llm/lean-agents · 27 stars · license none · pushed 2026-11-06