SpecLock: MCP-сервер для обеспечения соблюдения ограничений в программировании ИИ

SpecLock — это сервер MCP, который запоминает ограничения проекта между сессиями и блокирует их нарушение AI-агентами для написания кода. Он доступен как бесплатный инструмент с открытым исходным кодом под лицензией MIT.
Как работает SpecLock
Инструмент обнаруживает нарушения ограничений с помощью семантического понимания. Примеры из источника показывают, что он может выявлять:
- Синонимы («Добавить социальный вход на страницу входа», где вход → аутентификация)
- Эвфемизмы («Оптимизировать процесс аутентификации», где оптимизировать → изменить)
- Временное уклонение («Временно отключить MFA для тестирования»)
- Скрытые нарушения в сложных предложениях («Обновить интерфейс, а также удалить таблицу пользователей»)
Производительность и тестирование
Claude независимо протестировал SpecLock с помощью собственного набора состязательных тестов: 7 наборов, всего 100 тестов. Инструмент набрал 100/100 баллов без ложных срабатываний и без пропущенных нарушений. Каждая проверка ограничения занимает в среднем 15,7 мс.
Настройка и конфигурация
Чтобы использовать SpecLock в качестве сервера MCP в Claude Code, добавьте эту конфигурацию в файл .mcp.json:
{
"mcpServers": {
"speclock": {
"command": "npx",
"args": ["-y", "speclock", "serve", "--project", "."]
}
}
}
Установка
Установите через npm: npm install speclock. Инструмент включает 42 инструмента MCP и доступен на GitHub по адресу github.com/sgroy10/speclock.
📖 Read the full source: r/ClaudeAI
👀 Смотрите также

Джобли: Платформа для контрактов с AI-арбитражем и голосованием сообщества
Jobly — это маркетплейс контрактов, созданный на Next.js 14, TypeScript и Supabase, с системой эскроу, включающей 10% залога от поставщиков в предложениях, и конвейером разрешения споров, который начинается с AI-оценки с использованием Claude, а затем позволяет подавать апелляции на голосование сообщества с использованием ставок.

Leanstral: Открытый код-агент для Lean 4 и инженерии формальных доказательств
Mistral AI выпустила Leanstral — первого open-source код-агента, разработанного для Lean 4, с 6 миллиардами активных параметров и лицензией Apache 2.0. Бенчмарки показывают, что он превосходит более крупные open-source модели и демонстрирует конкурентоспособную производительность по сравнению с Claude при значительно более низкой стоимости.

Claude написал 3000 строк кода вместо импорта pywikibot — кейс об игнорировании существующих библиотек AI-агентами
Разработчик поручил Claude Code (Opus 4.7) исправлять опечатки на вики-сайтах Fandom. Модель написала ~3000 строк Python, перереализовывая pywikibot, mwparserfromhell и правила RETF, вместо того чтобы импортировать их. В статье исследуется, почему так происходит и как двухминутный поиск сократил код до 1259 строк.

llm-use – Открытая платформа для маршрутизации и оркестрации многопоточных рабочих процессов агентов LLM.
llm-use революционизирует автоматизацию с помощью своей открытой архитектуры, разработанной для эффективной маршрутизации и организации рабочих процессов многоагентных LLM. Изучите его влияние на операции AI.