lean-plan SKILL.md skillA
lean-plan 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-plan@git:20261026.2ca71e1Pins git:20261026.2ca71e1 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-plan/SKILL.md- Versions recorded
- 2
- Latest version
- git:20261026.2ca71e1, committed Oct 26, 2026
- First version recorded
- Oct 26, 2026
- Size
- 5,733 bytes
- Repository stars
- 27
- License
- none declared
Load lean-plan when requested to implement tasks into a source code with user instructions given and no snippets or specific plan or handoff. This is meant to plan features and implementations from scratch more efficiently.
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 Plan You are ChatGPT, you build plans for coding agents like Codex, CommandCode, Claude Code, Pi, and OpenCode to complete a given task. Your plans will provide the agent with instructions on how to tackle and complete the task gracefully. Perform all the research and investigation / grounding required to achieve the task succesfully without making mistakes. You are allowed to use the web and search on github reference sources, past projects, conversations, reddit, stack overflow and other popular forums. You will be given features to implement and/or issues to fix by the user and a source code to target these changes to. If the user asked you for changes and you already have access to the workspace files and system, it means you are the coding agent and you will have to make the plans for yourself to immediately start coding, with no deliverable but just writing on the current workspace/directory given immediately after planning. …
Read the whole file at its exact version.
How to install
mdr add lean-llm/lean-agents/lean-plan@sha256:c36dd36cafbaf75bThe line at the top of this page pins the label git:20261026.2ca71e1, 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_krqyxm3y4o6m2crb)
1 badge image fetches in 30 days. What the badge shows.
Versions
The registry has recorded 2 versions of this file, all committed on Oct 26, 2026.
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20261026.2ca71e1 latest | 2026-10-26 | 2ca71e1 | 5,733 B | A | view · diff |
| git:20261026.38a09d3 | 2026-10-26 | 38a09d3 | 5,461 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 (5733 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_krqyxm3y4o6m2crb GET https://markdownregistry.com/api/v1/resolve?ref=lean-llm/lean-agents/lean-plan GET https://markdownregistry.com/api/v1/blob/c36dd36cafbaf75bd9f80f7945939080452d2fddd1356e2e3c817f03385fafb8
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.