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

✍️ OpenClawRadar📅 Опубликовано: 10 марта 2026 г.🔗 Source
SpecLock: MCP-сервер для обеспечения соблюдения ограничений в программировании ИИ
Ad

SpecLock — это сервер MCP, который запоминает ограничения проекта между сессиями и блокирует их нарушение AI-агентами для написания кода. Он доступен как бесплатный инструмент с открытым исходным кодом под лицензией MIT.

Как работает SpecLock

Инструмент обнаруживает нарушения ограничений с помощью семантического понимания. Примеры из источника показывают, что он может выявлять:

  • Синонимы («Добавить социальный вход на страницу входа», где вход → аутентификация)
  • Эвфемизмы («Оптимизировать процесс аутентификации», где оптимизировать → изменить)
  • Временное уклонение («Временно отключить MFA для тестирования»)
  • Скрытые нарушения в сложных предложениях («Обновить интерфейс, а также удалить таблицу пользователей»)
Ad

Производительность и тестирование

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

Ad

👀 Смотрите также

Джобли: Платформа для контрактов с AI-арбитражем и голосованием сообщества
Инструменты

Джобли: Платформа для контрактов с AI-арбитражем и голосованием сообщества

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

OpenClawRadar
Leanstral: Открытый код-агент для Lean 4 и инженерии формальных доказательств
Инструменты

Leanstral: Открытый код-агент для Lean 4 и инженерии формальных доказательств

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

OpenClawRadar
Claude написал 3000 строк кода вместо импорта pywikibot — кейс об игнорировании существующих библиотек AI-агентами
Инструменты

Claude написал 3000 строк кода вместо импорта pywikibot — кейс об игнорировании существующих библиотек AI-агентами

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

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

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

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

OpenClawRadar