Outils De Développement

abloq — un blog opéré par des agents, dont la machine verrouille la vérification

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

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 ».

Ratchet Pattern — comment forcer un agent à aller jusqu'au bout

Ratchet Pattern — comment forcer un agent à aller jusqu'au bout

J'ai demandé à un agent AI d'écrire les tests de 527 fonctions. Il s'est arrêté à 40 et a déclaré : 'C'est fait.' Le Ratchet Pattern confie la décision d'achèvement à un verifier mécanique, forçant l'agent à aller jusqu'au bout.

La topologie du feedback prime sur le QI du modèle

La topologie du feedback prime sur le QI du modèle

Le même modèle s'arrête à 40 ou complète les 527. La différence n'est pas le modèle — c'est la structure de feedback. La performance du LLM dépend bien plus de la rapidité et du déterminisme de la boucle de feedback que du modèle lui-même.

filefunc — un fichier, un concept

filefunc — un fichier, un concept

L'unité de navigation d'un agent de code IA, c'est le fichier. filefunc est une convention de structure et un outil CLI qui impose un seul concept par fichier dans les projets Go.

Feature Chain — Tracer tout le stack avec un seul operationId

Feature Chain — Tracer tout le stack avec un seul operationId

Quels fichiers faut-il toucher pour modifier une seule fonctionnalité ? Feature Chain prend un operationId et extrait automatiquement toute la portée — spécification API, schéma de BD, politique d'autorisation, diagramme d'états, implémentations de fonctions, scénarios de test et frontend.

whyso — ce que git blame ne montre pas

whyso — ce que git blame ne montre pas

git blame montre qui, quand et quoi a changé. whyso montre pourquoi. Un outil qui extrait automatiquement l'historique des modifications par fichier à partir des données de session Claude Code.