formal-agent-contracts или AISchemaGate and DataContractGate
formal-agent-contracts: пакет плагинов для ИИ-инструментов разработки, издатель kotaroyamame. Витрин, которые мы читаем и где он опубликован: 1 (Claude Code: claude-plugins-community). AISchemaGate and DataContractGate: MCP-сервер, издатель nightmoose. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Данные нашего прохода по витринам на 2026-10-30. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  formal-agent-contracts |  AISchemaGate and DataContractGate |
|---|---|---|
| Claude Code: claude-plugins-community | Опубликован Версия: 2.2.0 Форки (GitHub): 0 Звёзды (GitHub): 1 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 0.4.1 Загрузки за месяц (npm): 351 Загрузки за неделю (npm): 190 Форки (GitHub): 0 Звёзды (GitHub): 4 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | formal-agent-contracts | AISchemaGate and DataContractGate |
|---|---|---|
| Витрины, где он есть | 1 | 1 |
| Звёзды (GitHub) (различается) | 1 (хуже) | 4 (лучше) |
| Форки (GitHub) | 0 | 0 |
| Последний релиз (различается) | Не опубликовано | 2026-10-28 |
| Где работает (различается) | Ставится как пакет плагинов | На вашем компьютере (@nightmoose/contractgate-mcp-server) |
| Транспорт (различается) | Не указано | stdio |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения (различается) | Не опубликовано | 2, из них секретов: 1 |
| Части набора (различается) | 15 | Не набор |
| Лицензия | MIT | MIT |
| Репозиторий (различается) | github.com/kotaroyamame/formal-agent-contracts | github.com/nightmoose/contractgate |
| Изменения за последние 7 дней (различается) | 0 | 3 |
| Впервые замечен | 2026-10-11 | 2026-10-11 |
Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.
Что каждый говорит о себе
formal-agent-contracts
Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate TypeScript/Python code with runtime contract enforcement — all through natural language conversation with Claude.
AISchemaGate and DataContractGate
AISchemaGate validates and repairs structured LLM output against a contract, plus DataContractGate.
Как запустить каждый
formal-agent-contracts Как плагин Claude Code
/plugin marketplace add anthropics/claude-plugins-community
/plugin install formal-agent-contracts@claude-communityAISchemaGate and DataContractGate Как локальный MCP-сервер: пакет npm
claude mcp add --env "CONTRACTGATE_API_KEY=<YOUR_CONTRACTGATE_API_KEY>" --transport stdio contractgate -- npx -y @nightmoose/contractgate-mcp-serverТребует: CONTRACTGATE_API_KEY (секрет)
Команды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины formal-agent-contracts не публикуют, какие настройки он просит, поэтому настройки не сравниваем.
Что умеет: formal-agent-contracts · Что умеет: AISchemaGate and DataContractGate · Сравнить два других плагина
Данные витрины Claude Code: claude-plugins-community. Данные витрины Official MCP Registry. Данные витрины Community GitHub marketplaces. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.