קוד פתוח
abloq — בלוג שסוכן מפעיל, האימות ננעל בידי מכונה
אם תפקיד בלוג בידי סוכן, מאמרים יֵצְאוּ. הבעיה היא שאי אפשר לסמוך עליהם — הוא מזייף מקורות, מעלה את ה‑lastmod של מאמר שכלל לא תיקן, ונוגע בקבצים שלא ביקשת. אם אדם יצטרך לבדוק הכול, אין טעם להפקיד את העבודה. התשובה של abloq היא חלוקת עבודה: הייצור הסתברותי, האימות דטרמיניסטי. מה שהאדם כותב הוא דף אחד של מפרט insight (insight.yaml) בלבד, את הכתיבה·התרגום·הרענון·חיזוק הראיות הסוכן מבצע ב‑Quest, והאיכות מובטחת על ידי gate דטרמיניסטי שנגזר מדף אחד של blog.yaml. PASS נעול הוא בלתי הפיך — הסוכן עשוי להיות חד‑פעמי, אך ההתקדמות מצטברת.
reins — להשאיר רק את הדומיין מ‑Quest CLI, ולהפוך את ה‑ratchet ל‑framework
how-make-quest לימד איך לבנות Quest CLI במו ידיך. אבל אם תבנה CLI שני, תכתוב מחדש את אותו ratchet, אותם scan/next/submit, אותה אגרגציה. reins מחלץ את אותו אינווריאנט ל‑framework — את ה‑ratchet, שלד הפקודות, האגרגציה וה‑export reins מספק, ואתה מממש רק את ה‑gate של הדומיין (4 מתודות של gate.Definition). ה‑gate הוא קטלוג של חוקי הגנה מפני cheese, ו‑toulmin defeat graph מחזיר לסוכן מדריך פיצוח של 'למה הפסדת ומה לשנות כדי לנצח'.
huma -- סוגר שלא מדלג על אף נקודת קצה
כשמבקשים מסוכן AI לבדוק 42 נקודות קצה הוא מכריז סיימתי בסביבות ה-15. huma הופך את רשימת נקודות הקצה לסשן סוגר כך שהסוכן לא יכול לדלג על אף אחת. scan next write verify.
yongol — השדרה של SaaS מקודד בינה מלאכותית
Vibe coding קורס ב-200 endpoints כי AI לא יכול להבחין בין החלטות לפרטי מימוש. yongol מעביר את עבודת ה-AI מקוד ל-10 מפרטים הצהרתיים ואוכף עקביות בין שכבות לפני הקומפילציה. Harness with reins.