К основному содержанию
MCP-сервер CX Codex

SpecForge — MCP-сервер для Claude Code: что делает и как установить

Превращает требования команды в строгие детерминированные проверки спецификаций для ИИ-агентов, исключая пропуск правил архитектуры и логики.

Открыть на GitHub

Что делает SpecForge

ИИ-агенты часто пропускают требования, спрятанные в длинных файлах Markdown или PRD. SpecForge переносит инженерные договорённости в типизированные файлы .spec. Агент формирует черновик с инвариантами, поведением и событиями, а SpecForge проверяет его как компилятор.

Внутри нет нейросетей, поэтому валидатор всегда возвращает одинаковый результат на один и тот же файл. Инструмент отслеживает опечатки в идентификаторах, забытые события, нехватку обязательных полей вроде guarantee и оторванные от логики инварианты. Команда specforge check выдаёт точный номер строки и подсказку для исправления. Ошибки блокируют агента сразу.

Для подтверждения требований используется утилита specforge collect. Она связывает юнит-тесты с описанными в спецификации контрактами и фиксирует доказанные правила.

Какие задачи решает

  • проверить целостность инвариантов и событий в файлах .spec
  • найти опечатки и оборванные ссылки в требованиях до генерации кода
  • связать юнит-тесты с описанными контрактами через specforge collect
  • заблокировать агенту сдачу кода с непроверенными условиями

Примеры запросов агенту

  • Опиши сценарий возврата платежа в spec/refund.spec и выполни specforge check
  • Исправь ошибку E003 в spec/hello.spec по подсказке компилятора
  • Проверь покрытие контрактов тестами через команду specforge collect

Как установить SpecForge

Установка

Команды запуска нет в реестре MCP — смотрите README репозитория

По шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие

Вопросы о SpecForge

Как установить SpecForge в Claude Code?

Выполните установочный скрипт curl -fsSL https://raw.githubusercontent.com/leaderiop/SpecForge/main/install.sh | sh, затем инициализируйте проект командой specforge init --extensions @specforge/software.

Что делает SpecForge?

Инструмент проверяет .spec файлы как компилятор, контролируя связи между сущностями, событиями и инвариантами. Он работает детерминированно и возвращает агенту чёткие ошибки компиляции при нарушении правил.

Чем SpecForge отличается от описания правил в Markdown?

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

Похожие MCP-серверы

Все MCP-серверы по теме «Настройка агента: память, контекст, субагенты» →
REA morluto Инспектирует скомпилированные программы, сборки Electron и JavaScript прямо через ИИ-агента. Помогает понять логику чужих функций без исходного кода. CX Codex +1 ★ 386 989звёзд репо GitHub официальный github Подключает ИИ-агента к GitHub: читает код, заводит issues и пул-реквесты, следит за сборками Actions. Пригодится, когда не хочется переключаться в браузер. CX Codex +1 ★ 33 918звёзд репо Netdata netdata Отдаёт ИИ-агенту данные мониторинга: метрики, логи, алерты и поиск аномалий. Пригодится, когда нужно разобраться, что происходит на сервере, не открывая дашборд. CX Codex +1 ★ 81 115звёзд репо browser-use browser-use Сервер помогает агенту выполнять задачи в браузере: находить данные и заполнять формы. Подключите его, когда нужно поручить агенту действия на веб-странице. CX Codex +1 ★ 119 160звёзд репо Codebase Memory DeusData Локальный MCP-сервер, который строит граф кода, документации и инфраструктуры репозитория. Помогает агенту находить нужные места без повторного чтения файлов. CX Codex +1 ★ 47 392звёзд репо mcp-server HeyPuter Подключает ИИ-агента к Puter: файлы, сайты и воркеры через один MCP-сервер. Пригодится, если проект живёт в облаке Puter. CX Codex +1 ★ 43 872звёзд репо

Спонсоры проекта

Компании, которые помогают держать аналитику открытой