leankg-rule
01Cursor rule
LeanKG is the DEFAULT search for code navigation and logic finding.
215 8d ago A 0 tokens
original Apache-2.0
215Stars on the repository
14Mods indexed here, across every type
8d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Cursor rule
Graph-first agent workflow — query LeanKG before grep/Read when MCP HTTP is healthy.
215 8d ago A 522 tokens
original Apache-2.0