নিরাপত্তা এবং
নির্ভরযোগ্যতা
lean-ctx প্রোডাকশন ব্যবহারের জন্য ডিজাইন করা হয়েছে। সমস্ত কম্প্রেশন স্থানীয়ভাবে চলে, ত্রুটি gracefully degrade হয়, এবং আপনার কোড কখনো আপনার মেশিন ছেড়ে যায় না।
নির্মিত প্রোডাকশনের জন্য
প্রতিটি আর্কিটেকচারাল সিদ্ধান্ত নিরাপত্তাকে অগ্রাধিকার দেয়। lean-ctx সবকিছু স্থানীয়ভাবে প্রক্রিয়া করে, ত্রুটিতে gracefully degrade হয় এবং স্পষ্ট অনুমতি ছাড়া কখনো আপনার ফাইল পরিবর্তন করে না।
১০০% স্থানীয় প্রক্রিয়াকরণ
সমস্ত কম্প্রেশন, ক্যাশিং এবং বিশ্লেষণ আপনার মেশিনে চলে। lean-ctx একটি স্থানীয় MCP সার্ভার - আপনার কোড কখনো বাহ্যিক সার্ভার স্পর্শ করে না।
Graceful Degradation
lean-ctx কোনো ত্রুটির সম্মুখীন হলে, এটি মূল বিষয়বস্তু অপরিবর্তিতভাবে পাস করে। আপনার ওয়ার্কফ্লো কখনো lean-ctx ব্যর্থতায় ব্লক হয় না।
ডিফল্টরূপে শুধু-পঠন
lean-ctx শুধুমাত্র কম্প্রেশনের জন্য ফাইল পড়ে। একমাত্র লেখার অপারেশন হলো ctx_edit, যার জন্য ব্যবহারকারীর স্পষ্ট আহ্বান প্রয়োজন।
প্রতিরক্ষা প্রতিটি স্তরে
পাথ ট্রাভার্সাল সুরক্ষা থেকে স্যান্ডবক্সড এক্সিকিউশন পর্যন্ত, lean-ctx আপনার কোডবেস রক্ষা করতে একাধিক নিরাপত্তা সীমানা বাস্তবায়ন করে।
$ ctx_read("../../etc/passwd") ERROR: Path traversal blocked ├─ Requested: ../../etc/passwd ├─ Resolved: /etc/passwd └─ Allowed: /home/user/project/** $ ctx_read("src/main.rs") ✓ Reading src/main.rs (mode: auto) → 42 lines, 1.2 KB → compressed to 18 tokens
পাথ ট্রাভার্সাল সুরক্ষা
সমস্ত ফাইল পাথ একটি নিরাপত্তা চোকপয়েন্টের মাধ্যমে যাচাই করা হয়। প্রজেক্ট রুটের বাইরের অনুরোধ প্রত্যাখ্যান করা হয়।
স্যান্ডবক্সড এক্সিকিউশন
Shell কমান্ড কনফিগারযোগ্য টাইমআউট এবং রিসোর্স সীমার সাথে চলে। কোনো eval() বা ডায়নামিক কোড এক্সিকিউশন নেই।
অপ্ট-ইন ছাড়া কোনো নেটওয়ার্ক নেই
একমাত্র নেটওয়ার্ক বৈশিষ্ট্য হলো একটি ঐচ্ছিক দৈনিক ভার্সন চেক (ডিফল্টরূপে নিষ্ক্রিয়)। কোনো টেলিমেট্রি নেই, কোনো ফোন-হোম নেই।
পরীক্ষিত এবং যাচাইকৃত
প্রতিটি রিলিজ ব্যাপক টেস্ট স্যুট, কঠোর স্ট্যাটিক অ্যানালাইসিস এবং ক্রস-প্ল্যাটফর্ম CI দ্বারা যাচাই করা হয় - কোনো শর্টকাট নেই।
১,৪০০+ স্বয়ংক্রিয় টেস্ট
প্রতিটি রিলিজ ১,৪০০+ ইউনিট এবং ইন্টিগ্রেশন টেস্ট পাস করে যা কম্প্রেশন, ক্যাশিং, নিরাপত্তা গার্ড এবং এজ কেস কভার করে।
Clippy Pedantic
Rust-এর সবচেয়ে কঠোর লিন্টারে শূন্য সতর্কতা। Pedantic মোড সূক্ষ্ম বাগ, পারফরম্যান্স সমস্যা এবং API ডিজাইন ত্রুটি ধরে।
ব্যাপক CI
GitHub Actions Linux, macOS এবং Windows-এ টেস্ট চালায়। cargo-deny দুর্বলতা এবং লাইসেন্স সম্মতির জন্য ডিপেন্ডেন্সি অডিট করে।
কিছুই ভাঙে না। lean-ctx মূল বিষয়বস্তু অপরিবর্তিতভাবে পাস করে। আপনার ওয়ার্কফ্লো কখনো ব্লক হয় না - AI কেবল অসংকুচিত কনটেক্সট পায়।
সম্পূর্ণ ওপেন সোর্স
কোডের প্রতিটি লাইন সর্বজনীনভাবে অডিটযোগ্য। কোনো অস্পষ্টতা নেই, কোনো বাইনারি ব্লব নেই, ডিফল্টরূপে কোনো টেলিমেট্রি নেই।
$ lean-ctx --version lean-ctx 3.4.3 ├─ License: Apache-2.0 ├─ Source: github.com/yvgude/lean-ctx ├─ Network calls: 0 (default) ├─ Telemetry: disabled └─ Data collection: none
সম্পূর্ণ ওপেন সোর্স
কোডের প্রতিটি লাইন GitHub-এ সর্বজনীনভাবে অডিটযোগ্য। কোনো অস্পষ্টতা নেই, কোনো বাইনারি ব্লব নেই, কোনো ক্লোজড-সোর্স উপাদান নেই।
ডিফল্টরূপে শূন্য টেলিমেট্রি
lean-ctx ডিফল্টরূপে কিছুই সংগ্রহ করে না। ঐচ্ছিক বেনামী পরিসংখ্যানের জন্য স্পষ্ট অপ্ট-ইন প্রয়োজন এবং এতে কোনো কোড বা ফাইলের নাম থাকে না।
আউটপুট যাচাইকরণ
প্রতিটি সংকুচিত আউটপুটের অখণ্ডতা স্বয়ংক্রিয়ভাবে যাচাই করা হয়।
ctx_read src/auth.rs ✓ VERIFY PASS ├─ Paths checked: 12/12 preserved ├─ Identifiers: 8/8 preserved ├─ Structure: balanced └─ Info loss score: 0.0%
পাথ অ্যাঙ্করিং
ফাইল পাথ সংকুচিত আউটপুটে সংরক্ষণের জন্য যাচাই করা হয়।
শনাক্তকারী পরীক্ষা
ফাংশন এবং স্ট্রাকচারের নাম সংকোচন জুড়ে ট্র্যাক করা হয়।
কাঠামোগত অখণ্ডতা
বন্ধনী ভারসাম্য যাচাই করে কাটা কোড ব্লক শনাক্ত করে।
গাণিতিকভাবে প্রমাণিত
পলিসি ইনভ্যারিয়েন্ট, কম্প্রেশন বৈশিষ্ট্য এবং এজেন্ট হ্যান্ডঅফ নিরাপত্তা Lean4-এ আনুষ্ঠানিকভাবে যাচাই করা হয়েছে — Amazon Cedar এবং Mathlib যে একই প্রমাণ সহকারী ব্যবহার করে। 82টি মেশিন-পরীক্ষিত উপপাদ্য, কোনো অপ্রমাণিত লেমা নেই।
$ lake build Build completed successfully. 82 theorems verified 0 sorry (unproven lemmas) 0 warnings $ ctx_proof --format v2 ContextProofV2 · 8 claims extracted ├─ PathJail: proved (Lean4) · Q4 ├─ Budget: proved (Lean4) · Q4 ├─ Scope: proved (Lean4) · Q4 ├─ TerseQuality: proved (Lean4) · Q4 ├─ TerseEngine: proved (Lean4) · Q4 ├─ Compression: preserved · Q3 ├─ Secrets: passed · Q2 └─ Quality Level: 4 (Formally Verified)
পলিসি ইনভ্যারিয়েন্ট
PathJail এস্কেপ প্রতিরোধ, স্কোপ আইসোলেশন, বাজেট এনফোর্সমেন্ট এবং কনটেক্সট গভর্ন্যান্স নিয়ম — সবই Lean4-এ সঠিক প্রমাণিত।
কম্প্রেশন সংরক্ষণ
Signatures মোড সমস্ত export সংরক্ষণ করে, Map মোড import সংরক্ষণ করে, Aggressive মোড শূন্য সিক্রেট লিকেজ নিশ্চিত করে — গাণিতিকভাবে প্রমাণিত।
হ্যান্ডঅফ নিরাপত্তা
এজেন্ট হ্যান্ডঅফ স্টেট মেশিন আনুষ্ঠানিকভাবে যাচাই করা হয়েছে: টার্মিনাল স্টেট সিংক, লাইফসাইকেল অর্ডারিং একঘেয়ে, অবৈধ এনভেলোপ প্রত্যাখ্যান করা হয়।
প্রস্তুত চেষ্টা করতে?
এক মিনিটেরও কম সময়ে lean-ctx ইনস্টল করুন এবং দেখুন কীভাবে এটি টোকেন ব্যবহার নাটকীয়ভাবে কমানোর সাথে সাথে আপনার ওয়ার্কফ্লো রক্ষা করে।