Cursor rule
Graph-first agent workflow — query LeanKG before grep/Read when MCP HTTP is healthy.
not rated 216 today A 522 tokens
original Apache-2.0
2 tagged lean-context, measured the same way as everything else here.
Cursor rule
Graph-first agent workflow — query LeanKG before grep/Read when MCP HTTP is healthy.