תיעוד

מערכת ההפעלה של Coroid

Coroid מריץ את סביבת הריצה של הסוכנים שלו בעצמו ולא עוטף כלי קידוד קיימים; בחירה זו מעצבת את היכולות שלו.

רוב כלי הקידוד של AI הם מערכות ניהול: מעגל סביב מודל, בתוספת כלים לקריאה וכתיבה של קבצים והפעלת פקודות. Claude Code, Codex, OpenCode ו-Pi הן כולן מערכות ניהול, והן נועדו עבור מתכנת שיושב מול מסוף.

Coroid אינו משתמש באף אחת מהן. הוא פועל עם מערכת משלו.

למה לא לעטוף מערכת קיימת?

הכלים הנ״ל תוכננו עבור פעילות עם משתמש נוכח. מישהו צופה, יכול לענות על שאלה, לקטוע את התהליך, או להבחין בבעיה. ההנחה הזו סבירה ומשפיעה על הכל – כיצד השגיאות מתגלות, כמה הקשר נשמר, ומה קורה כשהמודל מחזיר תוצאה בלתי צפויה.

ההנחה של Coroid היא הפוכה: אין צופה.. העבודה מתבצעת בענן, מנוצֶרת על ידי לוח זמנים, מערך פיקוח או אירוע, וחייבת להסתיים בתוצאה שניתן לבחון או בכישלון ברור, ללא אדם שיפסוק את הדרך באמצע.

אלו בעיות שונות. כמה מהרכיבים שלהלן קיימים בגלל ההבדל הזה ולא היו רלוונטיים בסביבת מסוף.

מה שהזמן הריצה עושה בצורה שונה

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

הוא רב-סוכנים מטבעו. המעגל נבנה סביב תפקידים עם הרשאות שונות, כשהעבודה עוברת ביניהם בסדר קבוע או תחת פיקוח של רכז שקובע את השלב הבא, ולא סוכן בודד שעושה הכל. האימות מתבצע על ידי סוכן שלא כתב את הקוד, והרכז אינו יכול לבטל אותו – זו תכונה שנובעת מהארכיטקטורה ולא מבקשה נימוסית. הרכז יכול גם לגלות שהקוד כבר מבצע את מה שהמשימה דורשת ולהפעיל את ה-QA כדי לאשר זאת ללא שינוי. כל הדרכים מגיעות לאותן בקרות.

יש לו תקציבים מפורשים ומגבלות עומק. כל פעולה מתבצעת מול תקציב טוקנים ותקרת שלבים. בלעדיהם, סוכן אוטומטי שפרשנותו לשגיאה תמשיך לפעול ללא הפסקה.

הוא משלב שלטון בצורה ישירה. מדיניות, בקרות איכות ונקודות אישור הן חלק ממסלול הביצוע ולא עטיפה סביבו, ולכן בקרה חוסמת יכולה לעצור את העבודה באמצע במקום לאחר מכן.

הקאשינג הוא שיקול ראשון במעלה

הקשר הוא החלק היקר ביותר בריצת סוכנים, ובמערכת ענן אותו קשר של פרויקט נקרא שוב ושוב במסגרת משימות רבות.

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

9.1k used (90% cached)

שיעור פגיעה גבוה בקאש הוא ההבדל בין ריצה יקרה לזולה. זו גם הסיבה שפרויקט מאורגן היטב עם קשר ברור קשר עולה פחות לעבודה מאשר פרויקט מבולגן – קשר יציב נקאשט היטב, וקשר שמשתנה בכל ריצה אינו נקאשט.

דבר זה משתלב עם כישורים הדרגתיים, ששומרים על קטן את הקשר הטעון בזיכרון מלכתחילה.

מה שזה אומר בפועל

  • ללא הגדרה מקומית. ללא CLI, ללא תוסף עורך, ללא רץ שיש לארח. Coroid מבוסס על API ופועל בענן.
  • ללא מנויים לכלים של צד שלישי. אין צורך לרכוש מקומות לעוזר קידוד בנוסף ל-Coroid. שימוש במודל נגבה כ- קרדיטים או דרך מפתחות הספק שלך.
  • העבודה מתבצעת אוטומטית. לוחות זמנים ו- ווים אפשריים מכיוון ששום דבר אינו תלוי בהפעלה של מחשב המתכנת.
  • ההתנהגות עקבית. העבודה של כולם מתבצעת על אותו זמן ריצה עם אותן מדיניות, ולא תלויה במה שכל מתכנת התקין והגדיר. מה שהותקן מתועד ב- תמיכה בשפות וסביבת הסוכנים.

מה שזה אינו משנה

המערכת קובעת כיצד העבודה מתבצעת. היא אינה משנה את הגבולות: כל שינוי עדיין מגיע כ-pull request בענף, שום דבר אינו מוטמע עבורך, וכללי ההגנה על הענף והבדיקה חלים בדיוק כפי שהם חלים על תורמים אנושיים.