Open Source
abloq — Blog yang Dioperasikan Agen, Verifikasi Dikunci Mesin
Serahkan blog kepada agen, maka artikel pun lahir. Masalahnya adalah Anda tak bisa mempercayainya — ia mengarang sumber, menaikkan lastmod artikel yang bahkan tak ia ubah, dan menyentuh berkas yang tak diminta. Kalau toh manusia harus memeriksa semuanya, tak ada gunanya menyerahkannya. Jawaban abloq adalah pembagian kerja: generasi probabilistik, verifikasi deterministik. Yang ditulis manusia hanya satu lembar spesifikasi insight (insight.yaml), penulisan·penerjemahan·pembaruan·penguatan bukti dijalankan agen lewat quest, dan kualitas dijamin gate deterministik yang diturunkan dari satu lembar blog.yaml. PASS yang terkunci bersifat ireversibel — agen boleh sekali pakai, tetapi kemajuan tetap menumpuk.
reins — Sisakan Hanya Domain dari Quest CLI, Jadikan Ratchet sebagai Framework
how-make-quest mengajari cara membangun quest CLI dengan tangan kosong. Tetapi begitu Anda membangun CLI kedua, Anda menulis ulang ratchet yang sama, scan/next/submit yang sama, agregasi yang sama. reins mengekstrak invarian itu menjadi framework — ratchet·kerangka perintah·agregasi·export dipasok oleh reins, dan Anda hanya mengimplementasikan gate domain (4 metode gate.Definition). Gate adalah katalog aturan pertahanan cheese, dan defeat graph toulmin mengembalikan kepada agen panduan 'mengapa kalah dan apa yang harus diubah untuk menang'.
huma -- Ratchet yang Tidak Melewatkan Satu Endpoint Pun
Ketika Anda meminta agen AI menguji 42 endpoint ia menyatakan selesai di sekitar endpoint ke-15. huma mengubah daftar endpoint menjadi sesi ratchet sehingga agen tidak bisa melewatkan satu pun. scan next write verify.