sui-prover или dev.weakspot/weakspot
sui-prover: пакет плагинов для ИИ-инструментов разработки, издатель Asymptotic. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). dev.weakspot/weakspot: MCP-сервер, издатель weakspot.dev. Витрин, которые мы читаем и где он опубликован: 1 (Official MCP Registry). Данные нашего прохода по витринам на 2026-10-15. Эту пару выбрал читатель, а не наше правило сравнений, поэтому поисковикам предложено не индексировать страницу.
Где опубликован каждый
| Витрина |  dev.weakspot/weakspot | |
|---|---|---|
| Маркетплейс сообщества asymptotic-code/sui-prover | Опубликован Версия: 0.1.0 Форки (GitHub): 13 Звёзды (GitHub): 43 Не помечен · Впервые замечен |
Нет на витрине |
| Official MCP Registry | Нет на витрине | Опубликован Версия: 0.1.1 Загрузки за месяц (npm): 188 Загрузки за неделю (npm): 40 Не помечен · Впервые замечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Факты рядом
| Факт | sui-prover | dev.weakspot/weakspot |
|---|---|---|
| Витрины, где он есть | 1 | 1 |
| Звёзды (GitHub) (различается) | 43 | Нет цифры на GitHub |
| Форки (GitHub) (различается) | 13 | Нет цифры на GitHub |
| Последний релиз | Не опубликовано | Не опубликовано |
| Где работает (различается) | Ставится как пакет плагинов | На вашем компьютере (weakspot-mcp) |
| Транспорт (различается) | Не указано | stdio |
| Объявляет инструментов | Не опубликовано | Не опубликовано |
| Просит переменных окружения (различается) | Не опубликовано | 4, из них секретов: 1 |
| Части набора (различается) | 1 | Не набор |
| Лицензия | Не указано | Не указано |
| Репозиторий (различается) | github.com/asymptotic-code/sui-prover | Не указано |
| Изменения за последние 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.
dev.weakspot/weakspot
Audit Solidity and Rust smart contracts from your editor. Pays per audit in USDC over x402.
Как запустить каждый
sui-prover Как плагин Claude Code
/plugin marketplace add asymptotic-code/sui-prover
/plugin install sui-prover@sui-proverdev.weakspot/weakspot Как локальный MCP-сервер: пакет npm
claude mcp add --env "WEAKSPOT_PRIVATE_KEY=<YOUR_WEAKSPOT_PRIVATE_KEY>" --transport stdio weakspot -- npx -y weakspot-mcpТребует: WEAKSPOT_PRIVATE_KEY (секрет)
Команды построены только из того, что объявляют витрины; полный набор для всех клиентов есть на карточке каждого.
Какие инструменты объявляет каждый
Витрины ни одного из них не публикуют список инструментов, сравнивать нечего.
Какие настройки просит каждый
Витрины sui-prover не публикуют, какие настройки он просит, поэтому настройки не сравниваем.
Что умеет: sui-prover · Что умеет: dev.weakspot/weakspot · Сравнить два других плагина
Данные витрины Community GitHub marketplaces. Данные витрины Official MCP Registry. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.