FreePeak/LeanKG

LeanKG: Stop Burning Tokens. Start Coding Lean.

This repository also configures its own agents. See what LeanKG tells them →

221Stars on the repository

11Mods indexed here, across every type

2d agoLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

Cursor rule Cursor

LeanKG is the DEFAULT search for code navigation and logic finding.

not rated 221 +1 2d ago A 0 tokens original Apache-2.0