LeanKG
未认领LeanKG: Stop Burning Tokens. Start Coding Lean.
ai-memorycodebase-memorycodebase-memory-mcpconcise-contextcontext-engineergraph-databasegraph-engineerknowledge-graphknowlege-baselean-codelean-contextlean-tokenmcpmcp-servermemory-ai-agentsaving-tokensecond-braintoken
安装
$
cargo install leankg更多Databases服务器
浏览完整目录安全概况
已认领和已认证的服务器每周接受一次静态扫描，显示代码能触及的范围（外部服务、环境变量、shell 命令、代理配置目录）以及带有已知公告的依赖。认领此列表即可获得。 安全概况的工作原理