仓库议题

mvanhorn/lean-ctx

LeanCTX — the Context OS for AI development. One local binary that compresses, remembers, routes, and verifies every token between your code and the model. 63 MCP tools, 10 read modes, up to 99% token savings. Works with Cursor, Claude Code, Copilot, Windsurf, Codex, Gemini.

在 GitHub 查看
星标
 (1 个星标)
派生
 (0 个派生)
已索引议题
 (0 个已索引议题)
个开放新手议题
 (0 个开放的新手议题)
最近索引
2026年8月18日
最近 GitHub push
2026年6月4日
贡献指南
贡献指南
行为准则
行为准则
主要语言
Rust
PR 合并指标
 (30 天内没有已合并 PR)
新手标签
没有已索引的新手标签

议题

0 个开放索引议题

此仓库没有开放的已索引议题。