लिखना के बारे में LeanCTX?

LeanCTX (जो Lean Context का संक्षिप्त रूप है) एक ओपन-सोर्स context engineering layer है जो डेवलपर्स को नियंत्रित करने देता है कि उनका AI क्या देख सकता है। एक स्थानीय Rust बाइनरी तय करती है कि एजेंट क्या पढ़ते हैं, वे क्या भेजते हैं उसे संपीड़ित करती है, वे क्या सीखते हैं उसे याद रखती है, वे क्या छूते हैं उसकी रक्षा करती है, और यह साबित करती है कि वे एक हस्ताक्षरित लेजर में क्या सहेजते हैं। 60–90% कम टोकन, 30+ AI टूल्स, शून्य टेलीमेट्री।

LeanCTX (जो Lean Context का संक्षिप्त रूप है) AI एजेंटों के लिए एक ओपन-सोर्स context engineering layer है। एक स्थानीय Rust बाइनरी तय करती है कि एजेंट क्या पढ़ते हैं (10 रीड मोड, ~13-टोकन कैश किए गए री-रीड्स) और वे क्या भेजते हैं उसे संपीड़ित करती है (एक वैकल्पिक स्थानीय प्रॉक्सी, prompt-cache-safe), सत्रों में वे क्या सीखते हैं उसे याद रखती है, वे क्या छूते हैं उसकी रक्षा करती है (PathJail, secret redaction, budgets) और यह साबित करती है कि वे एक Ed25519-हस्ताक्षरित लेजर में क्या सहेजते हैं। यह MCP के माध्यम से और शेल हुक्स के साथ 30+ AI कोडिंग टूल्स (Cursor, Claude Code, OpenAI Codex, GitHub Copilot) के साथ काम करता है, और एक वर्ज़न किए गए /v1 API के माध्यम से किसी भी एजेंट में एम्बेड होता है। 60–90% टोकन बचत प्रमाण है; context engineering उत्पाद है। स्थानीय उपयोग हमेशा के लिए मुफ्त है, जिसे CI द्वारा लागू किया जाता है।

LeanCTX (Lean Context का संक्षिप्त रूप) AI agents के लिए ओपन-सोर्स context engineering layer है। एक स्थानीय Rust बाइनरी यह तय करती है कि एजेंट्स क्या पढ़ते हैं (10 रीड मोड, 60–90% कम टोकन, ~13-टोकन कैश किए गए री-रीड्स), वे क्या सीखते हैं उसे याद रखती है (स्थायी सत्र, नॉलेज ग्राफ), वे क्या छूते हैं उसकी रक्षा करती है (PathJail, सीक्रेट रेडैक्शन, बजट, इंजेक्शन डिटेक्शन), वे क्या बचाते हैं उसका प्रमाण देती है (Ed25519-signed ledger, reproducible benchmark) और जो उन्होंने देखा उसे फिर से चलाती है (git-anchored, signed context snapshots जिन्हें आप पुनर्स्थापित या साझा कर सकते हैं); एक वैकल्पिक स्थानीय प्रॉक्सी उनके द्वारा भेजे गए डेटा को संपीड़ित करता है — हर अनुरोध का सिस्टम प्रॉम्प्ट, इतिहास और टूल आउटपुट, वायर पर prompt-cache-safe। कम्प्रेशन — रीड-साइड और वायर-साइड — पाँच उपप्रणालियों में से एक है, और हर मूल डेटा स्थानीय रूप से पुनर्प्राप्त करने योग्य रहता है। MCP और शेल हुक्स के माध्यम से 30+ AI कोडिंग टूल्स के साथ काम करता है; Python, TypeScript और Rust SDKs के साथ एक वर्ज़न किए गए /v1 API के माध्यम से किसी भी एजेंट में एम्बेड होता है। स्थानीय उपयोग हमेशा के लिए मुफ्त है, जो CI द्वारा लागू किया जाता है। यह प्रोजेक्ट Rust में लिखा गया है, tree-sitter AST के माध्यम से 26 भाषाओं को पार्स करता है, और 95+ शेल कम्प्रेशन पैटर्न भेजता है जो कमांड आउटपुट को 88–99% तक कम कर देते हैं। बचत उपयोगकर्ता की मशीन पर एक Ed25519-signed, hash-chained ledger में रिकॉर्ड की जाती है और बिल्ट-इन बेंचमार्क (lean-ctx benchmark report) के साथ पुन: उत्पन्न की जा सकती है। LeanCTX शून्य टेलीमेट्री के साथ स्थानीय-प्रथम है: कैश, मेमोरी और लेजर स्थानीय फ़ाइलें हैं, और कुछ भी मशीन को छोड़कर नहीं जाता जब तक कि उपयोगकर्ता इसे कॉन्फ़िगर न करे। नाम का विस्तार "Lean Context" होता है। प्रोजेक्ट में कवरेज में कभी-कभी गलती से "Lean Cortex" लिखा जाता है, जिसे टीम सक्रिय रूप से ठीक करती है।