sui-prover или base44
sui-prover: пакет плагинов для ИИ-инструментов разработки, издатель Asymptotic. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). base44: пакет плагинов для ИИ-инструментов разработки, издатель base44. Витрин, которые мы читаем и где он опубликован: 4 (Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces). Данные нашего прохода по витринам на 2026-10-15. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  base44 | |
|---|---|---|
| Маркетплейс сообщества asymptotic-code/sui-prover | Опубликован Версия: 0.1.0 Форки (GitHub): 13 Звёзды (GitHub): 43 Не помечен · Впервые замечен |
Нет на витрине |
| Claude Code: claude-plugins-official | Нет на витрине | Опубликован Версия: 1.0.0-beta.1 Форки (GitHub): 18 Звёзды (GitHub): 90 Не помечен · Впервые замечен |
| Claude: knowledge-work-plugins | Нет на витрине | Опубликован Версия: 1.0.0-beta.1 Форки (GitHub): 18 Звёзды (GitHub): 90 Не помечен · Впервые замечен |
| Claude Code: claude-plugins-community | Нет на витрине | Опубликован Версия: 1.0.0-beta.1 Форки (GitHub): 18 Звёзды (GitHub): 90 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | sui-prover | base44 |
|---|---|---|
| Витрины, где он есть (различается) | 1 (хуже) | 4 (лучше) |
| Звёзды (GitHub) (различается) | 43 (хуже) | 90 (лучше) |
| Форки (GitHub) (различается) | 13 (хуже) | 18 (лучше) |
| Последний релиз | Не опубликовано | Не опубликовано |
| Где работает | Ставится как пакет плагинов | Ставится как пакет плагинов |
| Транспорт | Не указано | Не указано |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения | Не опубликовано | Не опубликовано |
| Части набора (различается) | 1 | 3 |
| Лицензия (различается) | Не указано | MIT |
| Репозиторий (различается) | github.com/asymptotic-code/sui-prover | github.com/base44/skills |
| Изменения за последние 7 дней (различается) | 2 | 0 |
| Впервые замечен (различается) | 2026-10-15 | 2026-10-11 |
Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.
Что каждый говорит о себе
sui-prover
Formal verification for Sui Move smart contracts. Write specifications, run the prover, debug verification failures, and understand results.
base44
Build and deploy Base44 full-stack apps with CLI project management and JavaScript/TypeScript SDK development skills
Как запустить каждый
sui-prover Как плагин Claude Code
/plugin marketplace add asymptotic-code/sui-prover
/plugin install sui-prover@sui-proverbase44 Как плагин Claude Code
/plugin install base44@claude-plugins-officialКоманды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины ни одного из них не публикуют настройки, которые он просит.
Что умеет: sui-prover · Что умеет: base44 · Сравнить два других плагина
Данные витрины Community GitHub marketplaces. Данные витрины Claude Code: claude-plugins-official. Данные витрины Claude: knowledge-work-plugins. Данные витрины Claude Code: claude-plugins-community. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.