SpecLock: Open-Source-Constraint-Engine für KI-Coding-Agenten
SpecLock ist eine Open-Source-Einschränkungs-Engine, die KI-Codierungsagenten aktive Durchsetzung hinzufügt. Während Claudes nativer Speicher Einschränkungen behalten kann, blockiert SpecLock aktiv Verstöße mit semantischen Konfliktwarnungen.
Wie SpecLock funktioniert
SpecLock arbeitet als MCP-Server mit 19 MCP-Tools. Wenn Sie eine Einschränkung wie "auth-Dateien niemals ändern" festlegen und Claude versucht, dagegen zu verstoßen – selbst 10 Sitzungen später – wird die Aktion blockiert. Das System verwendet drei Schlüsseltechniken:
- Synonym-Erweiterung über 15 Gruppen
- Negationserkennung
- Kennzeichnung zerstörerischer Aktionen
Dieses semantische Verständnis bedeutet, dass "die Login-Endpunkte entfernen" korrekt gegen eine Einschränkung über "auth-Dateien niemals ändern" auslöst.
Kompatibilität und Verfügbarkeit
SpecLock funktioniert mit mehreren Plattformen:
- Bolt.new (npm-Modus, kein MCP erforderlich)
- Lovable
- Cursor
- Windsurf
Das Tool ist kostenlos, Open Source und auf GitHub verfügbar. Der Entwickler baute es über mehrere Monate, nachdem er Frustration erlebt hatte, dass KI-Tools Einschränkungen ignorierten.
📖 Read the full source: r/ClaudeAI
👀 Siehe auch
Definable AI fügt mit einem einzigen Flag ein selbst gehostetes Observability-Dashboard hinzu.
Definable AI, ein Open-Source-Python-Framework für den Bau von KI-Agenten, enthält nun ein integriertes Observability-Dashboard, das mit einer einzigen Flag aktiviert werden kann. Das Dashboard bietet Echtzeit-Event-Streaming, Token-Abrechnung, Latenzmetriken und Run-Replay ohne externe Abhängigkeiten.
MCP-Server für semantische Suche in Obsidian-Vaults
Ein Entwickler hat einen MCP-Server erstellt, der Obsidian-Vaults in Qdrant mit lokalen Embeddings indiziert, um semantische Suche anstelle von Schlüsselwortabgleich zu ermöglichen. Er teilt Markdown nach Überschriften auf, verwendet BAAI/bge-small-en-v1.5-Embeddings und funktioniert mit Claude Code, Cursor, Windsurf oder jedem MCP-Client.
Benutzer berichten von gemischtem Wert aus OpenClaw und ClawDBot: Was Sie wissen müssen.
OpenClaw und ClawDBot sind vielversprechende KI-Tools zur Automatisierung von Code, haben jedoch einige Nutzer enttäuscht. Dieser Artikel untersucht wichtige Erkenntnisse aus einer Reddit-Diskussion über Nutzererfahrungen und den Wert, den diese Plattformen bieten.
Bernstein: Ein Kubernetes-ähnlicher Orchestrator für KI-Coding-Agents mit Verifizierung und Modellrichtlinien
Bernstein ist ein Orchestrator für KI-Codierungsagenten, der unabhängige Verifizierung von Agentenausgaben, Modellrichtliniensteuerung, 13 Agentenadapter und deterministische Python-basierte Planung umfasst. Das Projekt verfügt über 5000+ Tests und Funktionen wie Sicherungen, Kostenanomalieerkennung und PII-Scanning.