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.
📖 Lire la source complète : r/ClaudeAI
👀 See Also
RTX 5060 Ti 16GB : Benchmarks des LLM locaux : Les modèles 30B restent en tête pour le codage
Les benchmarks sur une RTX 5060 Ti 16GB montrent que le modèle Unsloth Qwen3-Coder-30B UD-Q3_K_XL atteint 76,3 tok/s sur Ubuntu avec un score de qualité de 8,14, ce qui en fait le modèle de codage recommandé par défaut. Le modèle Unsloth Qwen3.5-35B UD-Q2_K_XL atteint 80,1 tok/s mais avec des scores de qualité inférieurs.
Lemonade par AMD : Serveur LLM Local Open Source pour GPU et NPU
Lemonade est un serveur d'IA local open source qui exécute des modèles de texte, d'image et de parole sur des GPU et NPU. Il est compatible avec l'API OpenAI, prend en charge plusieurs modèles simultanément et possède un backend natif en C++ de 2 Mo.
SmallClaw v1.0.2 ajoute un système de tâches en arrière-plan pour les LLM locaux.
SmallClaw v1.0.2 introduit un moteur de tâches en arrière-plan qui exécute de manière autonome des flux de travail multi-étapes, avec une vérification des étapes pour résoudre les problèmes de fiabilité des petits modèles. La mise à jour a été testée sur des modèles de classe 4B comme qwen3:4b sur des machines 8GB.
md-redline : outil GUI pour réviser et transférer des documents Markdown à Claude
md-redline est un outil open-source qui vous permet d'ouvrir des fichiers markdown dans une interface graphique, de laisser des commentaires en ligne stockés sous forme de marqueurs HTML dans le fichier .md, et de repasser la main à Claude pour les mises à jour. Il fonctionne localement sans nécessiter de compte, de cloud ou de base de données.