skill detail
← registryLeanCTX
yvgude/lean-ctx
Context intelligence layer for AI agents that cuts token usage 60-90% via a local Rust binary.
skillrank score
48
SkillRank score blends community stars, real usage, and our eval lift; provisional until a skill is evaluated -- so popularity alone can't reach the top tier.
eval status
eval pending
Success delta, token delta, and trial count are not available yet. No eval number is shown until this skill has measured results.
install
$ skillrank install yvgude/lean-ctx$ curl -fsSL skillrank.dev | sh