Skill
Agent
Search skills...
⌘
K
Explore
Docs
Trending
Collections
AI Tools
Generate SKILL.md
Format Converter
Skill Improver
AI Search
View All Tools →
Submit
Home
yvgude
1 skill
3.8k repo stars
GitHub
yvgude
/
lean-ctx
3.8k
LeanCTX — Context Intelligence for AI systems.
🤖 CLAUDE.md
claude code
cursor
+2
claude
mcp
rust
88
Updated 8h ago