Context OS

The Context OS for
AI Development

The intelligent layer between your AI and your codeछह स्तंभ। एक रनटाइम। पूर्ण संदर्भ जीवनचक्र प्रबंधन।

समस्या

AI एजेंट लगातार संदर्भ खोते हैं

हर AI कोडिंग एजेंट एक ही मूलभूत चुनौती का सामना करता है: जब केवल एक फ़ंक्शन सिग्नेचर की ज़रूरत होती है तब पूरी फ़ाइल दोबारा पढ़ता है, कच्चा Shell आउटपुट पार्स करता है जिसे 95% तक संपीड़ित किया जा सकता था, और सत्र समाप्त होते ही सब कुछ भूल जाता है। परिणाम: टोकन बर्बादी, धीमी प्रतिक्रिया और अविश्वसनीय आउटपुट।

LeanCTX के बिना

पूरी फ़ाइल पढ़ना (4,200 टोकन)

कच्चा Shell आउटपुट (1,800 टोकन)

सत्रों के बीच संदर्भ खोना

असत्यापित AI आउटपुट शिप किया गया

LeanCTX के साथ

Map मोड: 180 टोकन (96% बचत)

संपीड़ित: 42 टोकन (98% बचत)

सत्र + ज्ञान हमेशा के लिए बने रहते हैं

हर आउटपुट डिलीवरी से पहले सत्यापित

Context OS

Context OS क्या है?

Context OS AI संदर्भ के पूरे जीवनचक्र को नियंत्रित करता है: फ़ाइलें पढ़ने और शेल आउटपुट को संपीड़ित करने से, बुद्धिमान रूटिंग और स्थायी मेमोरी के माध्यम से, सत्यापित आउटपुट और उपकरणों, टीमों और मॉडलों में निर्बाध डिलीवरी तक।

AI एजेंट

LeanCTX Context OS

I/O Intelligence Memory Verify

आपका कोड और उपकरण

Pipeline

यह कैसे काम करता है

हर संदर्भ अनुरोध LeanCTX की ग्राफ-संचालित निश्चित पाइपलाइन से गुजरता है। सिस्टम इंटेंट वर्गीकृत करता है, Multi-Edge BFS और RRF Fusion से प्रासंगिकता स्कोर करता है, मोड-विशिष्ट एल्गोरिदम से संपीड़ित करता है, और डिलीवरी से पहले आउटपुट सत्यापित करता है। हर चरण पुनरुत्पादनीय और ऑडिट योग्य है।

इनपुट

किसी भी AI टूल से MCP या HTTP के माध्यम से फ़ाइल रीड, Shell कमांड और खोज क्वेरी प्राप्त करता है।

इंटेंट

कार्य प्रकार को वर्गीकृत करता है और प्रत्येक अनुरोध के लिए इष्टतम प्रसंस्करण रणनीति चुनता है।

प्रासंगिकता

AST विश्लेषण, एंट्रॉपी स्कोरिंग और इम्पोर्ट, कॉल, टाइप रेफरेंस और टेस्ट लिंक के बीच Multi-Edge Graph ट्रैवर्सल का उपयोग करके सामग्री को केवल कार्य-प्रासंगिक जानकारी तक फ़िल्टर करता है।

कम्प्रेशन

मोड-विशिष्ट एल्गोरिदम, कैशिंग और डेल्टा एन्कोडिंग के साथ बुद्धिमान संपीड़न लागू करता है।

सत्यापन

काल्पनिक पथों, टूटे इम्पोर्ट, सीक्रेट लीक और नीति उल्लंघन के लिए आउटपुट की जाँच करता है।

डिलीवरी

MCP, HTTP API या SDK के माध्यम से AI टूल को संपीड़ित, सत्यापित संदर्भ लौटाता है।

इंटीग्रेशन मोड

एक टूल, कनेक्ट करने के तीन तरीके

lean-ctx स्वचालित रूप से प्रत्येक एजेंट के लिए इष्टतम इंटीग्रेशन मोड चुनता है। CLI-Redirect MCP स्कीमा ओवरहेड को पूरी तरह समाप्त करता है, Hybrid दोनों का सर्वश्रेष्ठ जोड़ता है, और Full MCP अधिकतम टूल एक्सेस प्रदान करता है।

CLI-Redirect

Cursor, Gemini CLI के लिए डिफ़ॉल्ट

शून्य MCP ओवरहेड। एजेंट सीधे Shell के माध्यम से lean-ctx कॉल करता है — पूर्ण कंप्रेशन के साथ सबसे तेज़ मोड।

lean-ctx read src/auth.ts -m map

Hybrid

Codex, Windsurf, Amp, Antigravity के लिए

कैश्ड रीड के लिए MCP (13 टोकन), Shell कमांड और खोज के लिए CLI — दोनों दुनिया का सर्वश्रेष्ठ।

MCP cache + CLI shell/search

Full MCP

JetBrains, Copilot, Cline के लिए

lazy tool set के साथ MCP प्रोटोकॉल के माध्यम से सभी 58 टूल — MCP आवश्यक एजेंटों के लिए आदर्श।

58 tools via MCP + lazy tool set

बैकग्राउंड डेमन

सदैव-चालू संदर्भ रनटाइम

lean-ctx daemon Unix Domain Socket के माध्यम से बैकग्राउंड सेवा के रूप में चलता है। यह स्थायी सेशन स्थिति, तत्काल कैश हिट और setup के दौरान स्वचालित स्टार्टअप प्रदान करता है। अपडेट पर, daemon स्वचालित रूप से नई binary के साथ पुनरारंभ होता है। पुरानी PID/socket फ़ाइलें सक्रिय रूप से साफ की जाती हैं, और सभी कनेक्शन में अंतर्निहित timeout हैं — कोई मैनुअल प्रबंधन आवश्यक नहीं।

lean-ctx serve --status

$ lean-ctx serve --status

daemon running (PID 4139)

socket /tmp/lean-ctx.sock

uptime 2h 14m

sessions 3 active

cache 247 entries (hit rate 94.2%)

memory 12.4 MB

एजेंट सपोर्ट

29+ एजेंट, स्वचालित रूप से कॉन्फ़िगर

lean-ctx इंस्टॉल किए गए एजेंटों का पता लगाता है और प्रत्येक के लिए इष्टतम इंटीग्रेशन मोड कॉन्फ़िगर करता है। Shell एक्सेस वाले एजेंटों के लिए CLI-Redirect, मिश्रित वातावरण के लिए Hybrid, केवल-प्रोटोकॉल एजेंटों के लिए Full MCP।

Agent	CLI-Redirect	Hybrid	MCP	Setup
Cursor	●	–	–	`lean-ctx init --agent cursor`
Claude Code	–	●	–	`lean-ctx init --agent claude`
Codex	–	●	–	`lean-ctx init --agent codex`
OpenCode	–	●	–	`lean-ctx init --agent opencode`
Gemini CLI	●	–	–	`lean-ctx init --agent gemini`
CRUSH	–	●	–	`lean-ctx init --agent crush`
Hermes	–	●	–	`lean-ctx init --agent hermes`
Pi	–	●	–	`lean-ctx init --agent pi`
Qoder	–	●	–	`lean-ctx init --agent qoder`
Windsurf	–	●	–	`lean-ctx init --agent windsurf`
Copilot	–	●	–	`lean-ctx init --agent copilot`
Amp	–	●	–	`lean-ctx init --agent amp`
Cline	–	●	–	`lean-ctx init --agent cline`
Roo Code	–	●	–	`lean-ctx init --agent roo`
Kiro	–	●	–	`lean-ctx init --agent kiro`
Antigravity	–	●	–	`lean-ctx init --agent antigravity`
Amazon Q	–	●	–	`lean-ctx init --agent amazonq`
Qwen	–	●	–	`lean-ctx init --agent qwen`
Trae	–	●	–	`lean-ctx init --agent trae`
Verdent	–	●	–	`lean-ctx init --agent verdent`
JetBrains	–	–	●	`lean-ctx init --agent jetbrains`
QoderWork	–	–	●	`lean-ctx init --agent qoderwork`
VS Code	–	–	●	`lean-ctx init --agent vscode`
Zed	–	–	●	`lean-ctx init --agent zed`
Neovim	–	–	●	`lean-ctx init --agent neovim`
Emacs	–	–	●	`lean-ctx init --agent emacs`
Sublime Text	–	–	●	`lean-ctx init --agent sublime`
Aider	–	–	●	`lean-ctx init --agent aider`
Continue	–	–	●	`lean-ctx init --agent continue`

कॉन्टेक्स्ट फील्ड थ्योरी

गणितीय रूप से आधारित कॉन्टेक्स्ट चयन

हर कॉन्टेक्स्ट आइटम का एक मापनीय पोटेंशियल मान होता है। LeanCTX Context Field Theory (CFT) का उपयोग करके गणना करता है कि कौन सी फ़ाइलें, फंक्शन और ज्ञान तथ्य आपके AI के ध्यान विंडो में होने चाहिए — और कौन से नहीं।

कॉन्टेक्स्ट पोटेंशियल Φ

Φ(i,t) = w_R · R(i,t) + w_S · S(i) + w_G · G(i,t) + w_H · H(i) − w_C · C(i,v) − w_D · D(i, selected)

Phi फंक्शन हर कॉन्टेक्स्ट आइटम को रियल टाइम में स्कोर करता है। प्रासंगिकता, स्टेलनेस, ग्राफ सेंट्रैलिटी, इतिहास, लागत और रिडंडेंसी को एकल रैंकिंग स्कोर में संयोजित किया जाता है।

R R — टास्क प्रासंगिकता स्कोर

S S — संरचनात्मक महत्व (ग्राफ सेंट्रैलिटी)

G G — समय ग्रेडिएंट (टाइम डिके)

H H — ऐतिहासिक एक्सेस आवृत्ति

C C — वर्तमान मॉडल के लिए टोकन लागत

D D — पहले से चयनित आइटम के साथ रिडंडेंसी

कॉन्टेक्स्ट हैंडल

कॉन्टेक्स्ट आइटम के लिए विरल, आलसी संदर्भ। पूरी फ़ाइलें लोड करने के बजाय, एजेंट @F1 या @K3 जैसे हल्के हैंडल के साथ काम करते हैं जो मांग पर विस्तारित होते हैं — सामग्री की वास्तव में आवश्यकता होने तक टोकन बचाते हैं।

कॉन्टेक्स्ट ओवरले

कॉन्टेक्स्ट स्थिति पर प्रतिवर्ती म्यूटेशन। महत्वपूर्ण फ़ाइलों को पिन करें, शोर दबाएं, प्राथमिकता बढ़ाएं, या आइटम को पुराना चिह्नित करें — सब कुछ स्रोत को बदले बिना। ओवरले स्टैक करने योग्य हैं और पूर्ववत किए जा सकते हैं।

कॉन्टेक्स्ट कंपाइलर

टोकन बजट और टास्क विवरण दिए जाने पर, कंपाइलर रिडंडेंसी पेनल्टी के साथ Φ-रैंक्ड ग्रीडी सिलेक्शन का उपयोग करके कॉन्टेक्स्ट आइटम का इष्टतम उपसमूह चुनता है। परिणाम एक न्यूनतम, सत्यापित कॉन्टेक्स्ट पैकेज है।

कॉन्टेक्स्ट पॉलिसी इंजन

कॉन्टेक्स्ट व्यवहार को नियंत्रित करने वाले घोषणात्मक नियम। TDD के दौरान टेस्ट फ़ाइलों को स्वचालित रूप से पिन करें, वेंडर डायरेक्टरी दबाएं, फ़ाइल प्रकार के अनुसार टोकन सीमा लागू करें, या पुराने आइटम चिह्नित करें — सब कुछ प्रति-प्रोजेक्ट कॉन्फ़िगर करने योग्य।

पूर्ण CLI और MCP एक्सेस

हर CFT ऑपरेशन CLI कमांड और MCP टूल के माध्यम से उपलब्ध है। टर्मिनल में lean-ctx control, lean-ctx plan, lean-ctx compile का उपयोग करें, या MCP के माध्यम से ctx_control, ctx_plan, ctx_compile का।

कॉन्टेक्स्ट पैकेज

संचित प्रोजेक्ट कॉन्टेक्स्ट को पैकेज, शेयर और पुन: उपयोग करें। ज्ञान, ग्राफ डेटा, गॉचा, और सत्र निष्कर्षों को पोर्टेबल बंडल के रूप में एक्सपोर्ट करें। तत्काल डोमेन विशेषज्ञता के लिए सत्र शुरू होने पर पैकेज ऑटो-लोड करें।

Pillars

नौ स्तंभ। एक रनटाइम।

आपके कोड और AI के बीच सब कुछ, संभाला।

स्मार्ट I/O

निश्चित रीड, शेल कंप्रेशन, खोज - 99% कम टोकन

13 टूल्स 6 features

इंटेलिजेंस

इंटेंट रूटिंग, मोड सिलेक्शन, एडाप्टिव पाइपलाइन

13 टूल्स 11 features

मेमोरी

सत्र, प्रोजेक्ट ज्ञान, ग्राफ, हैंडऑफ

14 टूल्स 5 features

गवर्नेंस

भूमिकाएँ, बजट, SLO, वर्कफ़्लो गेट, नीतियाँ

6 टूल्स 9 features

सत्यापन

Lean4 औपचारिक प्रमाण, दावा-आधारित सत्यापन, गुणवत्ता स्तर 0–4

7 टूल्स 8 features

इंटीग्रेशन

MCP, HTTP, SDK, 29+ IDE, क्लाउड, टीम सर्वर

7 टूल्स 6 features

Shared Sessions

एजेंटों के बीच वर्कस्पेस और चैनल-आधारित सत्र साझाकरण

4 टूल्स 5 features

Context Bus

SSE के माध्यम से कॉन्टेक्स्ट परिवर्तनों के लिए रियल-टाइम इवेंट स्ट्रीम

2 टूल्स 5 features

SDK & API

बाहरी एकीकरण के लिए TypeScript SDK और REST API

0 टूल्स 4 features

लाइव डेमो

इसे कार्रवाई में देखें

LeanCTX आपके AI टूल और कोडबेस के बीच बैठता है। हर फ़ाइल रीड, Shell कमांड और खोज क्वेरी Context Kernel से गुज़रती है - मॉडल तक पहुँचने से पहले संपीड़ित, कैश्ड और सत्यापित।

ctx_read - map

ctx_read ({ path: "src/lib/auth.ts", mode: "map" })

exports authenticate(), validateToken(), refreshSession()

deps jsonwebtoken, bcrypt, redis

lines 247

original 4,200 tokens

compressed 180 tokens (96% saved)

cached 13 tokens on re-read

58 MCP टूल्स

95+ शेल पैटर्न

29+ इंटीग्रेशन

99% टोकन बचत

सत्यापन

हर आउटपुट प्रमाण के साथ आता है

LeanCTX हर सत्र के लिए प्रमाण आर्टिफैक्ट उत्पन्न करता है: कौन सी फ़ाइलें पढ़ी गईं, क्या संपीड़ित किया गया, कौन सी जाँचें पास हुईं और टोकन कैसे खर्च हुए। यह AI कार्य को ऑडिट योग्य, रीप्ले योग्य और विश्वसनीय बनाता है।

Cookbook & SDK

चल रहे सर्वर के खिलाफ वास्तविक उदाहरण (<code>/v1/tools/call</code>)।

सत्यापन & CI

गार्डरेल: clippy/टेस्ट + आउटपुट सत्यापन।

मेमोरी (पॉलिसी)

फ़ीडबैक, रिलेशन, रिट्रीवल मोड।

विश्वास

LeanCTX क्या करता है, स्टोर करता है - और कभी नहीं करता।