Alat Pengembangan

abloq — Blog yang Dioperasikan Agen, Verifikasi Dikunci Mesin

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

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

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.

codistill -- Memeras SSOT dari Kode yang Sudah Ada

codistill -- Memeras SSOT dari Kode yang Sudah Ada

Harus mulai dari SSOT untuk menggunakan yongol? Tidak. codistill mengekstrak OpenAPI, DDL, dan query sqlc secara otomatis dari kode yang sudah ada di 16 framework web dalam 8 bahasa.

yongol — Lunas Kapal SaaS yang Dikodekan AI

yongol — Lunas Kapal SaaS yang Dikodekan AI

Vibe coding runtuh di 200 endpoint karena AI tidak bisa membedakan keputusan dari detail implementasi. yongol memindahkan target kerja AI dari kode ke 10 spesifikasi deklaratif dan memaksa konsistensi antar lapisan sebelum kompilasi. Harness with reins.