For the complete documentation index, see [llms.txt](/llms.txt)
Orthotect
ai-security⭐ مفتوح المصدر

Orthotect

Deterministic Agent Runtime & Verifier

فتح مستودع GitHubDOI: 10.5281/zenodo.22731104 ↗

نظرة معمارية على المشروع

Orthogonal execution boundary and formal state machine runtime for autonomous AI agents, enforcing cryptographic capability policies before any shell, DB, or network execution.

نظرة معمارية على المشروع

بيئة تشغيل حتمية ونظام تحقق صوري (Formal Verification) لوكلاء الذكاء الاصطناعي يفرض حدود صلاحيات صارمة قبل تنفيذ أي أوامر نظام أو قواعد بيانات أو شبكة.

النطاق الهندسي والمعماري

أبرز القرارات المعمارية وضمانات الأمان والتنفيذ الهندسي في هذا المشروع:

  • تصميم معمارية العزل الحتمي (Orthogonal Boundary Architecture)
  • بناء آلة الحالة الصورية للتحقق من نوايا الوكيل قبل التنفيذ
  • تكامل مباشر مع بروتوكول MCP وبيئات Google Antigravity

التقنيات واللغات المستخدمة

PythonAgent RuntimeZero-TrustState MachinesAI Safety