כלי פיתוח
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.
codistill -- סוחט SSOT מקוד קיים
צריך להתחיל מ-SSOT כדי להשתמש ב-yongol? לא. codistill מחלץ אוטומטית OpenAPI DDL ושאילתות sqlc מקוד קיים ב-16 פריימוורקים של ווב ב-8 שפות.
yongol — השדרה של SaaS מקודד בינה מלאכותית
Vibe coding קורס ב-200 endpoints כי AI לא יכול להבחין בין החלטות לפרטי מימוש. yongol מעביר את עבודת ה-AI מקוד ל-10 מפרטים הצהרתיים ואוכף עקביות בין שכבות לפני הקומפילציה. Harness with reins.
Ratchet Pattern — איך לגרום לסוכן להגיע עד הסוף
נתתי לסוכן AI לכתוב טסטים ל-527 פונקציות — הוא עצר ב-40 והכריז 'סיימתי'. Ratchet Pattern כופה את הכרעת ההשלמה על verifier מכני וגורם לסוכן להגיע באמת עד הסוף.
טופולוגיית Feedback חשובה מ-IQ של מודל
אותו מודל נעצר ב-40 או משלים את כל 527. ההבדל הוא לא המודל — אלא מבנה המשוב. ביצועי LLM תלויים הרבה יותר במהירות ובדטרמיניזם של לולאת המשוב מאשר במודל עצמו.
tsma -- קו ההגנה נגד רגרסיות בקוד ישן
אינדוקס של כל הפונקציות, זיהוי קיום טסטים, מדידת coverage ומשוב ל-LLM agent -- כלי CLI אחד. בפקודה אחת בונים קו הגנה נגד רגרסיות בקוד ישן.
filefunc — קובץ אחד, מושג אחד
יחידת הניווט של סוכן קוד AI היא הקובץ. מוסכמת מבנה קוד ב-Go וכלי CLI שמאכפים מושג אחד לקובץ אחד.
Feature Chain — מעקב אחרי כל ה-full-stack עם operationId אחד
אילו קבצים צריך לגעת בהם כדי לשנות פיצ'ר אחד? Feature Chain מקבל operationId אחד ומפיק אוטומטית את כל ההיקף — מפרט API, סכמת DB, מדיניות הרשאות, תרשים מצבים, מימושי פונקציות, תרחישי בדיקה, ופרונט-אנד.
whyso — מה ש-git blame לא מראה
git blame מראה מי, מתי ומה שונה. whyso מראה למה שונה. כלי שמחלץ אוטומטית היסטוריית שינויים לפי קבצים מנתוני סשן של Claude Code.