formal-agent-contracts или JSON Contracts
formal-agent-contracts: пакет плагинов для ИИ-инструментов разработки, издатель kotaroyamame. Витрин, которые мы читаем и где он опубликован: 1 (Claude Code: claude-plugins-community). JSON Contracts: MCP-сервер, издатель json-contracts. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Данные нашего прохода по витринам на 2026-10-30. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  formal-agent-contracts |  JSON Contracts |
|---|---|---|
| Claude Code: claude-plugins-community | Опубликован Версия: 2.2.0 Форки (GitHub): 0 Звёзды (GitHub): 1 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 0.1.2 Загрузки за месяц (npm): 211 Загрузки за неделю (npm): 19 Форки (GitHub): 0 Звёзды (GitHub): 1 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | formal-agent-contracts | JSON Contracts |
|---|---|---|
| Витрины, где он есть | 1 | 1 |
| Звёзды (GitHub) | 1 | 1 |
| Форки (GitHub) | 0 | 0 |
| Последний релиз | Не опубликовано | Не опубликовано |
| Где работает (различается) | Ставится как пакет плагинов | На вашем компьютере (json-contracts) |
| Транспорт (различается) | Не указано | stdio |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения (различается) | Не опубликовано | 1, из них секретов: 0 |
| Части набора (различается) | 15 | Не набор |
| Лицензия (различается) | MIT | Не указано |
| Репозиторий (различается) | github.com/kotaroyamame/formal-agent-contracts | github.com/json-contracts/json-contracts |
| Изменения за последние 7 дней | 0 | 0 |
| Впервые замечен | 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.
JSON Contracts
JSON contract registry and validator for structured LLM and agent outputs.
Как запустить каждый
formal-agent-contracts Как плагин Claude Code
/plugin marketplace add anthropics/claude-plugins-community
/plugin install formal-agent-contracts@claude-communityJSON Contracts Как локальный MCP-сервер: пакет npm
claude mcp add --transport stdio json-contracts -- npx -y json-contractsКоманды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины formal-agent-contracts не публикуют, какие настройки он просит, поэтому настройки не сравниваем.
Что умеет: formal-agent-contracts · Что умеет: JSON Contracts · Сравнить два других плагина
Данные витрины Claude Code: claude-plugins-community. Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.