sui-prover
Formal verification for Sui Move smart contracts. Write specifications, run the prover, debug verification failures, and understand results.
Пакет плагинов · от Asymptotic
Коротко
sui-prover: пакет плагинов для ИИ-инструментов разработки, издатель Asymptotic. Витрин, которые мы читаем и где он опубликован: 1 (Community GitHub marketplaces). Мы впервые увидели его 2026-10-15 и с тех пор изменений не фиксировали. Данные нашего прохода по витринам на 2026-10-15.
Что просит
- Ставится как пакет плагинов
Ни одна из витрин, которые мы читаем, не публикует его инструменты или настройки, которые он просит.
Что объявляет, просит и запускает, полностью
Устанавливайте плагины только от разработчиков, которым доверяете. Мы показываем то, что публикуют витрины, и не проверяем плагины.
Работает с
- Claude Code
По маркетплейсам, где он опубликован, и объявленному транспорту MCP, как их документирует каждый клиент. Плагины мы не тестируем.
Подключить
Команды и конфигурации собраны только из того, что объявляют витрины. Мы не запускаем их за вас и не проверяем плагины.
Как плагин Claude Code
Собрано из того, что объявляет Community GitHub marketplaces.
/plugin marketplace add asymptotic-code/sui-prover
/plugin install sui-prover@sui-proverГде опубликован
| Витрина | Статус | Версия | Числа | Проверен | Впервые замечен |
|---|---|---|---|---|---|
| Маркетплейс сообщества asymptotic-code/sui-prover (Открыть исходники на GitHub) | Опубликован | 0.1.0 | Форки (GitHub): 13 Звёзды (GitHub): 43 |
Не помечен |
Каждое число принадлежит своей витрине и никогда не складывается с числами других витрин. Если витрина число не публикует, мы его не показываем: нет числа не значит ноль.
Есть в одном маркетплейсе сообщества
| Витрина | Репозиторий | Звёзды (GitHub) |
|---|---|---|
| sui-prover | asymptotic-code/sui-prover | 43 |
Что входит в пакет
Так опубликовано на витрине Community GitHub marketplaces.
Скиллы: 1
sui-prover
Что менялось
- Стал продуктом, за которым мы следим
- Community GitHub marketplaces: появился
Похожие плагины
Продукты, чьи собственные названия, описания, инструменты и скиллы ближе всего по смыслу к этому, на всех витринах, которые мы читаем. Близость упорядочена только внутри этого списка.
-
Solidity language server for real-time code intelligence, diagnostics, and navigation
-
Grounds AI coding agents in the @fhevm/solidity API surface so they can write confidential smart contracts without hallucinating non-existent functions or producing privacy leaks.
-
Smart-contract security audits for EVM chains and DAML: quote, run and fetch reports.
-
AI skills for building fullstack Aptos dApps — Move smart contracts, TypeScript SDK, wallet integration, security auditing, and gas optimization.
-
Web3 multi-agent platform — smart contract dev, audit, deploy & dApp on EVM chains
-
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.
-
verify com.kenoodl/verify
Runs your code against a contract; HELD or BROKE at the exact input. Deterministic. 0.10 USDC/call.
-
contract-scanner io.github.lordbasilaiassistant-sudo/contract-scanner
Smart contract security scanner — vulnerabilities, risk scores, and calldata decoding
-
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…
-
weakspot dev.weakspot/weakspot
Audit Solidity and Rust smart contracts from your editor. Pays per audit in USDC over x402.
Похожие плагины по витринам
Тот же вопрос к каждой витрине по отдельности: есть ли там аналог этого плагина?
Есть на витрине Claude Code: claude-plugins-community (5)
-
AI skills for building fullstack Aptos dApps — Move smart contracts, TypeScript SDK, wallet integration, security auditing, and gas optimization.
-
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…
-
Smart contract security auditor for Claude Code — vuln detection, exploit PoCs, mainnet-fork simulation, audit cards, on-chain certificates. Solidity + Vyper · 38 commands · 19…
-
Verified identity, limited permissions, reusable trust receipts, and Vault secrets. One setup for Cursor, Claude Code, Codex, and VS Code.
-
Claude Code plugin that audits AI-assisted code changes. Automatically records every file edit, session, and commit as a verifiable receipt providing tamper-proof provenance for…
Есть на витрине Claude Code: claude-plugins-official (5)
-
Set up endorctl and use Endor Labs to scan, prioritize, and fix security risks across your software supply chain
-
Semgrep catches security vulnerabilities in real-time and guides Claude to write secure code from the start.
-
Deep vulnerability scanning of your own code, run entirely inside your Claude Code session at a chosen effort tier, with every finding challenged before it is reported and the…
-
Security review for Claude-generated code. Pattern-based warnings on edits, LLM-powered diff review on Stop, and an agentic commit reviewer that catches injection, XSS, SSRF…
-
Automate API security directly in Claude Code with 42Crunch - automatically audit OpenAPI specs, detect vulnerabilities aligned with OWASP API Security risks (including…
Есть на витрине Claude: knowledge-work-plugins (5)
-
Security review for Claude-generated code. Pattern-based warnings on edits, LLM-powered diff review on Stop, and an agentic commit reviewer that catches injection, XSS, SSRF…
-
Bring Qodo's codebase intelligence, coding standards, and code review into your coding agent.
-
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…
-
Build and deploy Base44 full-stack apps with CLI project management and JavaScript/TypeScript SDK development skills
-
Keep your coding agent up to date with the latest web best practices
Есть на витрине Codex: openai-curated (openai/plugins) (5)
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
AI-powered code review in Codex, powered by CodeRabbit.
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
Qodo setup, code intelligence, and review workflows.
-
Inspect repositories, triage pull requests and issues, debug CI, and publish changes through a hybrid GitHub connector and CLI workflow.
Есть на витрине Community GitHub marketplaces (5)
-
Solidity language server for real-time code intelligence, diagnostics, and navigation
-
Grounds AI coding agents in the @fhevm/solidity API surface so they can write confidential smart contracts without hallucinating non-existent functions or producing privacy leaks.
-
AI skills for building fullstack Aptos dApps — Move smart contracts, TypeScript SDK, wallet integration, security auditing, and gas optimization.
-
Web3 multi-agent platform — smart contract dev, audit, deploy & dApp on EVM chains
-
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.
Есть на витрине Copilot CLI: github/awesome-copilot (5)
-
Model, visualize, and deploy applications with Radius from the GitHub Copilot app and CLI.
-
7 specialized agents covering the full software development lifecycle from UX design and architecture to security and DevOps.
-
Helps GitHub Copilot investigate mobile app telemetry, diagnose crashes, manage [bitdrift](bitdrift.ai) workflows and dashboards, integrate the Capture SDK into iOS, Android, and…
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
SAPUI5 / OpenUI5 plugin for GitHub CoPilot. Create and validate UI5 projects, access API documentation, run UI5 linter, get development guidelines and best practices for UI5…
Есть на витрине Copilot CLI: github/copilot-plugins (5)
-
Advanced Security plugin for GitHub Copilot.
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
code-apps-preview
Build and deploy Power Apps code apps using React, Vite, and Power Platform connectors.
-
Navigate and interact with your C++ code using the Microsoft C++ Language Server.
Есть на витрине Cursor: cursor/plugins (5)
-
Build apps, scripts, and automations with the TypeScript SDK.
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
Skills for building on the Cursor Origin API. Fetch the live spec first, then follow the Origin rules for credentials, scopes, webhooks, paging, and errors. Includes a skill that…
-
if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.
-
Scaffold and validate new agent plugins.
Есть на витрине Docker MCP Catalog (5)
-
OpenZeppelin Solidity Contracts
Access to OpenZeppelin Solidity Contracts.
-
Access to OpenZeppelin Stylus Contracts.
-
OpenZeppelin Stellar Contracts
Access to OpenZeppelin Stellar Contracts.
-
Tools and resources for writing Effect code in Typescript.
-
Stop stitching context for Copilot and Cursor. With Sequa MCP, your AI tools know your entire codebase and docs out of the box.
Есть на витрине Official MCP Registry (5)
-
Smart-contract security audits for EVM chains and DAML: quote, run and fetch reports.
-
verify com.kenoodl/verify
Runs your code against a contract; HELD or BROKE at the exact input. Deterministic. 0.10 USDC/call.
-
contract-scanner io.github.lordbasilaiassistant-sudo/contract-scanner
Smart contract security scanner — vulnerabilities, risk scores, and calldata decoding
-
weakspot dev.weakspot/weakspot
Audit Solidity and Rust smart contracts from your editor. Pays per audit in USDC over x402.
-
AI security scanner for Solidity + free CC0 dataset of Sherlock audit-competition acceptance rates.
Найдено по смыслу, а не по общему коду или репозиторию: похожие плагины остаются разными продуктами, и это не обзор и не рекомендация.
Хотите такой знак у своего плагина в нашем каталоге?
Докажите, что поддерживаете его, файлом в репозитории, файлом на вашем домене или DNS-записью, и сможете показать этот знак на карточке, а ещё живые баннеры для сайта и README. Как проходит подтверждение
Ещё вы будете получать уведомления, когда витрина добавит плагин, снимет его, изменит отметку verified или список того, что он просит, а его удалённый endpoint встанет на мониторинг как веб-сервис.
Данные витрины Community GitHub marketplaces. Числа взяты из наших регулярных обходов витрин, последняя проверка . Контакты издателей плагинов мы не публикуем.