Open Source
abloq — ein agentenbetriebener Blog, dessen Verifikation die Maschine sperrt
Übergibt man einem Agenten einen Blog, kommen Texte heraus. Das Problem ist, dass man ihnen nicht trauen kann — er erfindet Quellen, hebt den lastmod eines gar nicht geänderten Textes an und fasst Dateien an, die er nicht anfassen sollte. Will der Mensch ohnehin alles prüfen, war die Übergabe sinnlos. abloqs Antwort ist die Arbeitsteilung: Erzeugung probabilistisch, Verifikation deterministisch. Der Mensch schreibt nur ein einziges Blatt — die Insight-Spezifikation (insight.yaml); Erstellung, Übersetzung, Auffrischung und Belegverstärkung übernimmt der Agent als Quest, und die Qualität verbürgt ein aus einem einzigen blog.yaml abgeleitetes deterministisches Gate. Ein gesperrtes PASS ist irreversibel — der Agent mag wegwerfbar sein, doch der Fortschritt akkumuliert.
reins — nur die Domain aus der Quest-CLI behalten, das ratchet als Framework
how-make-quest lehrte, wie man eine Quest-CLI mit bloßen Händen baut. Doch baut man eine zweite CLI, schreibt man dasselbe ratchet, dasselbe scan/next/submit, dieselbe Aggregation erneut. reins extrahiert dieses Invariante als Framework — ratchet, Befehlsgerüst, Aggregation und export liefert reins, du implementierst nur das Gate deiner Domain (gate.Definition, 4 Methoden). Das Gate ist ein Katalog von cheese-Abwehrregeln, und der toulmin-defeat-Graph gibt dem Agenten einen Lösungsweg zurück: 'warum verloren und was ändern, um zu gewinnen'.
huma -- Eine Ratsche die keinen Endpoint auslasst
Wenn Sie einen KI-Agenten bitten 42 Endpoints zu testen erklaert er um den 15. herum fertig. huma verwandelt die Endpoint-Liste in eine Ratschen-Sitzung sodass der Agent keinen einzigen auslassen kann. scan next write verify.
yongol — Der Kiel von KI-codiertem SaaS
Vibe Coding bricht bei 200 Endpoints zusammen, weil KI Entscheidungen nicht von Implementierungsdetails unterscheiden kann. yongol verlagert das Arbeitsziel der KI von Code auf 10 deklarative Spezifikationen und erzwingt schichtuebergreifende Konsistenz vor der Kompilierung. Harness with reins.