Open Source
abloq — un blog opéré par des agents, dont la machine verrouille la vérification
Confiez un blog à un agent et l'article sort. Le problème, c'est qu'on ne peut pas s'y fier — il fabrique des sources, relève le lastmod d'un article qu'il n'a même pas modifié, touche à des fichiers qu'on ne lui a pas demandés. Si l'humain doit tout relire, l'avoir délégué n'avait aucun sens. La réponse d'abloq, c'est la division du travail : la génération est probabiliste, la vérification est déterministe. L'humain n'écrit qu'une seule chose, une spécification d'insight (insight.yaml) ; la rédaction, la traduction, l'actualisation et le renforcement des preuves sont assurés par l'agent sous forme de quêtes ; et la qualité est garantie par une porte déterministe dérivée d'un unique blog.yaml. Un PASS verrouillé est irréversible — l'agent est jetable, mais la progression s'accumule.
reins — ne garder du Quest CLI que le domaine, le ratchet devient un framework
how-make-quest enseignait à bâtir un Quest CLI à mains nues. Mais dès le deuxième CLI, on réécrit le même ratchet, les mêmes scan/next/submit, la même agrégation. reins extrait cet invariant en framework — le ratchet, le squelette de commandes, l'agrégation et l'export sont fournis par reins, et vous n'implémentez que la porte de votre domaine (les 4 méthodes de gate.Definition). La porte est un catalogue de règles de défense anti-cheese, et le defeat graph de toulmin renvoie à l'agent un guide stratégique « pourquoi tu as perdu, et quoi changer pour gagner ».
huma -- Un cliquet qui ne saute aucun endpoint
Quand vous demandez a un agent IA de tester 42 endpoints il declare avoir fini vers le 15e. huma transforme la liste des endpoints en session cliquet pour que l agent ne puisse en sauter aucun. scan next write verify.
yongol — La quille du SaaS code par IA
Le vibe coding s'effondre a 200 endpoints parce que l'IA ne peut pas distinguer les decisions des details d'implementation. yongol deplace la cible de travail de l'IA du code vers 10 specifications declaratives et impose la coherence inter-couches avant la compilation. Harness with reins.