agentmods.dev

dasTholo/lean-md

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

Open on GitHub
5Stars on the repository
11Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 2 mods

lean-md AGENTS.md

01

dasTholo/lean-md

Instructions file CodexOpenCode

Instructions for dasTholo/lean-md, covering lean-md — macro/directive markdown renderer, integration mode: hybrid (for developing this repo), mcp tools, cli commands (optimized shell, lower overhead) and codeintelbackend (the lean-md ↔ lean-ctx boundary).

5 1mo ago A 1,503 tokens original Apache-2.0

lean-md CLAUDE.md

02

dasTholo/lean-md

Instructions file

Instructions for dasTholo/lean-md, covering claude.md, startup, project hard rules, subagent-driven execution and language.

5 1mo ago A 1,142 tokens original Apache-2.0