חברת Kodamai יוצאת ממצב 'פעילות חשאית', ומשיקה את פלטפורמת סוכני הבינה המלאכותית הארגונית הראשונה בעולם, הבנויה על עקרונות יסוד מתמטיים - תוך שימוש בתורת הקטגוריות, תורת הטיפוסים ובינה מלאכותית נוירו-סימבולית - כדי להעניק לכל סוכן חוזה ממשק עם אימות פורמלי. בעוד שפלטפורמות סוכנים אחרות מייצרות תוצאות שנראות סבירות, Kodamai מייצרת סוכנים הנכונים באופן ניתן להוכחה: כל פעולה מאומתת באופן מתמטי לפני ביצוע, וכל החלטה ניתנת לביקורת מלאה לאחר מעשה.
1