Back to all repositories
FR
LeanKG
by FreePeak
LeanKG: Stop Burning Tokens. Start Coding Lean.
216stars26forks0watchers/subscribers10issues
ai-memorycodebase-memorycodebase-memory-mcpconcise-contextcontext-engineergraph-databasegraph-engineerknowledge-graphknowlege-baselean-codelean-contextlean-tokenmcpmcp-servermemory-ai-agentsaving-tokensecond-braintoken
- Language
- Rust
- License
- Apache License 2.0
- Size
- 12.8 MB
- Created
- Apr 13, 2026
- Last Updated
- Sep 4, 2026
- Last Pushed
- Sep 4, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.