sui-prover или Bounty Operator
sui-prover: пакет плагинов для ИИ-инструментов разработки, издатель Asymptotic. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). Bounty Operator: пакет плагинов для ИИ-инструментов разработки, издатель Tradi3. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). Данные нашего прохода по витринам на 2026-10-15. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина | ||
|---|---|---|
| Маркетплейс сообщества asymptotic-code/sui-prover | Опубликован Версия: 0.1.0 Форки (GitHub): 13 Звёзды (GitHub): 43 Не помечен · Впервые замечен |
Нет на витрине |
| Маркетплейс сообщества bountyoperator/bounty-operator | Нет на витрине | Опубликован Версия: 0.9.18 Форки (GitHub): 1 Звёзды (GitHub): 4 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | sui-prover | Bounty Operator |
|---|---|---|
| Витрины, где он есть | 1 | 1 |
| Звёзды (GitHub) (различается) | 43 (лучше) | 4 (хуже) |
| Форки (GitHub) (различается) | 13 (лучше) | 1 (хуже) |
| Последний релиз (различается) | Не опубликовано | 2026-10-15 |
| Где работает (различается) | Ставится как пакет плагинов | Удалённый сервер (bountyoperator.com/api/mcp) |
| Транспорт (различается) | Не указано | Streamable HTTP |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения | Не опубликовано | Не опубликовано |
| Части набора (различается) | 1 | 6 |
| Лицензия (различается) | Не указано | MIT |
| Репозиторий (различается) | github.com/asymptotic-code/sui-prover | github.com/bountyoperator/bounty-operator |
| Изменения за последние 7 дней (различается) | 2 | 4 |
| Впервые замечен (различается) | 2026-10-15 | 2026-10-13 |
| Endpoint на последней проверке (различается) | нет remote endpoint, который мы проверяем | Ответил 17 ч назад |
Строки, где значения различаются, выделены фоном и жирным. Где сами данные говорят, какое значение лучше (больше витрин, большая цифра одной и той же витрины, более свежий релиз, отметка verified на витрине, где есть оба), лучшее дополнительно отмечено зелёным и ▲, худшее красным и ▼. Где работает, транспорт, инструменты, настройки, hooks, части набора, лицензия и изменения за неделю отмечены только как различие: больше или меньше само по себе не лучше.
Что каждый говорит о себе
sui-prover
Formal verification for Sui Move smart contracts. Write specifications, run the prover, debug verification failures, and understand results.
Bounty Operator
Challenge a draft report, review Solidity or any code for security bugs on your own model, and run the hosted gauntlet through the Bounty Operator MCP server.
Как запустить каждый
sui-prover Как плагин Claude Code
/plugin marketplace add asymptotic-code/sui-prover
/plugin install sui-prover@sui-proverBounty Operator Как плагин Claude Code
/plugin marketplace add bountyoperator/bounty-operator
/plugin install bounty-operator@bounty-operatorКоманды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Remote endpoint, который мы проверяем, есть только у Bounty Operator. Как мы проверяем endpoint
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины ни одного из них не публикуют настройки, которые он просит.
Что умеет: sui-prover · Что умеет: Bounty Operator · Сравнить два других плагина
Данные витрины Community GitHub marketplaces. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.