SpecLock : Moteur de Contraintes Open Source pour Agents d'IA de Codage

SpecLock est un moteur de contraintes open source qui ajoute une application active aux agents d'IA de codage. Alors que la mémoire native de Claude Code peut se souvenir des contraintes, SpecLock bloque activement les violations avec des avertissements de conflit sémantique.

Comment fonctionne SpecLock

SpecLock fonctionne comme un serveur MCP avec 19 outils MCP. Lorsque vous définissez une contrainte comme "ne jamais modifier les fichiers d'authentification", si Claude tente de la violer — même 10 sessions plus tard — l'action est bloquée. Le système utilise trois techniques clés :

• Expansion de synonymes sur 15 groupes
• Détection de négation
• Marquage d'actions destructrices

Cette compréhension sémantique signifie que "supprimer les points de terminaison de connexion" déclenche correctement une alerte contre une contrainte concernant "ne jamais modifier les fichiers d'authentification".

Compatibilité et disponibilité

SpecLock fonctionne avec plusieurs plateformes :

• Bolt.new (mode npm, pas besoin de MCP)
• Lovable
• Cursor
• Windsurf

L'outil est gratuit, open source et disponible sur GitHub. Le développeur l'a construit sur plusieurs mois après avoir éprouvé de la frustration face aux outils d'IA qui ignoraient les contraintes.