dasTholo/lean-md

Macro/directive markdown renderer for lean-ctx context engineering.

Latest release v0.2.3 · 31 Aug 2026

2 files for Codex, OpenCode and Claude Code: lean-md AGENTS.md, lean-md CLAUDE.md — 2,645 tokens loaded in every session.

5Stars on the repository
2Files it configures its agents with
2,645Tokens loaded in every session
3Agents configured

Instructions

These files are dasTholo/lean-md's own configuration — they tell Codex, OpenCode and Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.