عن المشروع

سينسيما هي لغة برمجة مصممة خصيصًا للوكلاء الذكيين (AI agents)، وتميز نفسها عن الأطر أو المكتبات بجعل المراقبة والأمان وتنسيق الوكلاء المتعددين والتفاعل البشري وتكامل نماذج اللغة الكبيرة (LLM) عناصر أساسية في اللغة نفسها. تُترجم إلى ملف ثنائي واحد بدون بيئة تشغيل، وبدون قفل عام (GIL)، مع دعم حقيقي متعدد النوى. تشمل الميزات الرئيسية: - **الأداء**: تُظهر المعايير أنها تطابق أو تتفوق على Go في إنتاجية HTTP (مثل 47.2 ألف طلب/ثانية مقابل 42.8 ألف لنقاط النهاية النصية). - **الأمان**: أمان قائم على رفض الافتراضي على مستوى اللغة—لا وصول للشبكة أو الملفات أو قاعدة البيانات دون تصريحات `require` صريحة. يشمل مصادقة توجيهية تعريفية، والتحقق من المدخلات، وسجلات تدقيق تلقائية. تتبع تسميات تدفق المعلومات الاختيارية القيم الحساسة عبر العمليات والفروع، مع `declassify` كمنفذ وحيد. يدعم الإثبات (attestation) ربط الكود قيد التشغيل بمصدره في النشر السري. - **تكامل نماذج اللغة**: عمليات مدمجة مثل `analyze` و`decide` و`generate` مع مزودين قابلين للتبديل (Anthropic، OpenAI، Ollama). يتم التحقق من الاستجابات تلقائيًا مع إعادة المحاولة. - **التفاعل البشري**: عناصر أساسية مثل `approve` و`ask` و`confirm` و`show` لبوابات الموافقة والأسئلة. - **تنسيق الوكلاء المتعددين**: يتواصل الوكلاء عبر السبورة (حالة مشتركة مع إصدارات)، والإشارات، وأقفال الموارد. `spawn` ينشئ وكلاء مع خيوط نظام التشغيل. - **التزامن**: توازٍ حقيقي متعدد النوى عبر `parallel_map` و`chunk`، مع تفرع محدود ودلالات فشل سريع. - **خادم الويب**: خادم HTTP أصلي مع توجيه، ومصادقة، وتحقق، وترقيم صفحات، وتحديد معدل، وبث SSE، وTLS/HTTPS تلقائي، وHTTP/2، واستضافة افتراضية، ووكيل عكسي—بدون حاجة لوكيل خارجي. - **المراقبة**: عناصر أساسية مثل `trace` و`log` و`measure` و`checkpoint`، بالإضافة إلى تشخيصات أخطاء غنية مع لقطات متغيرات واقتراحات استرداد. - **ذاكرة الوكيل**: تتبع التقدم، وذاكرة دائمة (`remember`/`recall`)، وقواعد مالك بمستويات (must/should/avoid/prefer). - **تصميم اللغة**: بناء جملة شبيه بالإنجليزية (مثل `let name be "World"`، `task greet(person)`)، وعامل الأنابيب، وعمليات مقصودة (`where`، `collect`، `apply`، `reduce`)، وأنواع مخصصة، وبناء جملة مسطح بأسلوب المستندات لملفات `.fsyn`. - **الأدوات**: واجهة سطر أوامر مع أوامر `run` و`serve` و`check` و`repl` و`ast` و`tokens` و`testgen`. توليد تلقائي لاختبارات الحالات الحدية. يتضمن امتداد VS Code ومهارة ذكاء اصطناعي لمساعدي البرمجة مثل Claude Code. التثبيت هو ملف ثنائي واحد مكتفٍ ذاتيًا عبر curl أو npm، مع بناء من المصدر عبر Cargo. المحرك معياري، منظم في صناديق (crates) للنواة، والقدرات، والمكتبة القياسية، والوكلاء، وبيئة التشغيل، ونماذج اللغة، وواجهة سطر الأوامر.