Ext Ops Panel
Открыть панель
Сравнение

sui-prover или vanta

sui-prover: пакет плагинов для ИИ-инструментов разработки, издатель Asymptotic. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). vanta: пакет плагинов для ИИ-инструментов разработки, издатель VantaInc. Витрин, которые мы читаем и где он опубликован: 4 (Claude Code: claude-plugins-official, Claude: knowledge-work-plugins, Claude Code: claude-plugins-community, Community GitHub marketplaces). Данные нашего прохода по витринам на 2026-10-16. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.

Где опубликован каждый

Где опубликован каждый
Витринаsui-provervanta
Маркетплейс сообщества asymptotic-code/sui-prover Опубликован
Версия: 0.1.0
Форки (GitHub): 13
Звёзды (GitHub): 43
Не помечен · Впервые замечен
Нет на витрине
Claude Code: claude-plugins-official Нет на витрине Опубликован
Версия: 1.0.0
Форки (GitHub): 0
Звёзды (GitHub): 4
Не помечен · Впервые замечен
Claude: knowledge-work-plugins Нет на витрине Опубликован
Версия: 1.0.0
Форки (GitHub): 0
Звёзды (GitHub): 4
Не помечен · Впервые замечен
Claude Code: claude-plugins-community Нет на витрине Опубликован
Версия: 1.0.0
Форки (GitHub): 0
Звёзды (GitHub): 4
Не помечен · Впервые замечен

Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.

Факты рядом

sui-prover или vanta
Фактsui-provervanta
Витрины, где он есть (различается)1 (хуже)4 (лучше)
Звёзды (GitHub) (различается)43 (лучше)4 (хуже)
Форки (GitHub) (различается)13 (лучше)0 (хуже)
Последний релизНе опубликованоНе опубликовано
Где работаетСтавится как пакет плагиновСтавится как пакет плагинов
ТранспортНе указаноНе указано
Объявляет инструментовНе опубликованоНе опубликовано
Просит переменных окруженияНе опубликованоНе опубликовано
Части набора (различается)16
Лицензия (различается)Не указаноMIT
Репозиторий (различается)github.com/asymptotic-code/sui-provergithub.com/vantainc/vanta-mcp-plugin
Изменения за последние 7 дней22
Впервые замечен (различается)2026-10-152026-10-11

Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.

Что каждый говорит о себе

sui-prover

Своими словами, на витрине Community GitHub marketplaces:

Formal verification for Sui Move smart contracts. Write specifications, run the prover, debug verification failures, and understand results.

vanta

Своими словами, на витрине Claude Code: claude-plugins-official:

The Vanta plugin connects Claude Code to Vanta's security and compliance platform through the Vanta MCP server. It combines Vanta's test-specific remediation intelligence with your local repository context to help you fix compliance failures faster.

Как запустить каждый

sui-prover Как плагин Claude Code

Claude Code
/plugin marketplace add asymptotic-code/sui-prover
/plugin install sui-prover@sui-prover

vanta Как плагин Claude Code

Claude Code
/plugin install vanta@claude-plugins-official

Команды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.

Какие инструменты объявляет каждый

Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.

Какие настройки просит каждый

Витрины ни одного из них не публикуют настройки, которые он просит.

Что умеет: sui-prover · Что умеет: vanta · Сравнить два других плагина

Данные витрины Community GitHub marketplaces. Данные витрины Claude Code: claude-plugins-official. Данные витрины Claude: knowledge-work-plugins. Данные витрины Claude Code: claude-plugins-community. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.

Откуда данные: как устроен каталог