sui-prover vs. evm-contract-audit
evm-contract-audit ist auf keinem Marktplatz mehr gelistet, den wir lesen: Das sind die letzten bekannten Daten, Stand 2026‑10‑21.
sui-prover ist ein Plugin-Paket für KI-Coding-Tools von Asymptotic. Marktplätze, die wir lesen und die es listen: 1 (Community GitHub marketplaces). evm-contract-audit ist ein Plugin-Paket für KI-Coding-Tools von gabrielkoerich. Kein Marktplatz, den wir lesen, listet es noch. Stand unseres Marktplatz-Durchlaufs vom 2026-10-23. Ein Plugin dieses Paares ist auf keinem Marktplatz mehr gelistet, den wir lesen, deshalb bitten wir Suchmaschinen, die Seite nicht zu indexieren.
Wo jedes veröffentlicht ist
| Marktplatz | ||
|---|---|---|
| Community-Marktplatz asymptotic-code/sui-prover | Gelistet Version: 0.1.0 Forks (GitHub): 13 Sterne (GitHub): 43 Nicht markiert · Erstmals gesehen |
Nicht gelistet |
| Community-Marktplatz gabrielkoerich/skills | Nicht gelistet | Entfernt am 2026-10-21 Version: nicht angegeben Forks (GitHub): 0 Sterne (GitHub): 6 Nicht markiert · Erstmals gesehen |
Jede Zahl stammt vom jeweiligen Marktplatz und wird nie über Marktplätze hinweg addiert. Ein Marktplatz ohne veröffentlichte Zahl zeigt keine: keine Zahl ist nicht null.
Die Fakten nebeneinander
| Fakt | sui-prover | evm-contract-auditnicht mehr gelistet · |
|---|---|---|
| Marktplätze, die es listen (unterschiedlich) | 1 | 0 |
| Sterne (GitHub) (unterschiedlich) | 43 | 6 |
| Forks (GitHub) (unterschiedlich) | 13 | 0 |
| Letztes Release | Nicht veröffentlicht | Nicht veröffentlicht |
| Wo es läuft | Wird als Plugin-Paket installiert | Wird als Plugin-Paket installiert |
| Transport | Nicht angegeben | Nicht angegeben |
| Deklarierte Tools | Nicht veröffentlicht | Nicht veröffentlicht |
| Abgefragte Umgebungsvariablen | Nicht veröffentlicht | Nicht veröffentlicht |
| Teile des Bundles (unterschiedlich) | 1 | Nicht veröffentlicht |
| Lizenz | Nicht angegeben | Nicht angegeben |
| Repository (unterschiedlich) | github.com/asymptotic-code/sui-prover | github.com/gabrielkoerich/skills |
| Änderungen in den letzten 7 Tagen (unterschiedlich) | 0 | 4 |
| Erstmals gesehen (unterschiedlich) | 2026-10-15 | 2026-10-19 |
Zeilen, in denen sich die beiden unterscheiden, sind hinterlegt und fett. Kein Wert ist als besser oder schlechter markiert: Ein Plugin, das kein Marktplatz mehr listet, erscheint mit seinen letzten bekannten Daten, und die stellen wir nicht gegen aktuelle Zahlen.
Was Sie statt „evm-contract-audit“ nutzen können
Noch gelistete Plugins, deren Namen, Beschreibungen, Tools und Skills ihm in der Bedeutung am nächsten sind. Vergleichbar, nicht empfohlen.
-
weakspot dev.weakspot/weakspot
Audit Solidity and Rust smart contracts from your editor. Pays per audit in USDC over x402.
-
contract-scanner io.github.lordbasilaiassistant-sudo/contract-scanner
Smart contract security scanner — vulnerabilities, risk scores, and calldata decoding
-
Smart contract security auditor for Claude Code — vuln detection, exploit PoCs, mainnet-fork simulation, audit cards, on-chain certificates. Solidity + Vyper · 38 commands · 19…
-
Smart-contract security audits for EVM chains and DAML: quote, run and fetch reports.
-
Scans Base L2 smart contracts for security risks. Risk score 0-100, detects backdoors & proxies.
-
base-security-scanner-mcp io.github.lordbasilaiassistant-sudo/base-security-scanner-mcp
MCP server to scan smart contracts on Base for honeypots, rug pulls, and vulnerabilities.
Was jeder über sich sagt
sui-prover
Formal verification for Sui Move smart contracts. Write specifications, run the prover, debug verification failures, and understand results.
evm-contract-audit
Audits EVM/Solidity smart contracts for security vulnerabilities. Covers reentrancy, access control, flash loan exploits, upgrade issues, oracle manipulation, signature attacks, and more. Learned from EVMbench (120 real Code4rena vulnerabilities across 40 production codebases).
So startet man jeden
sui-prover Als Claude-Code-Plugin
/plugin marketplace add asymptotic-code/sui-prover
/plugin install sui-prover@sui-proverevm-contract-audit
Keine Daten für einen automatischen Befehl: Die Angaben der Marktplätze sagen nicht eindeutig, wie man es verbindet.
Befehle nur aus den Angaben der Marktplätze gebaut; den vollständigen Satz für jeden Client gibt es auf jeder Karte.
Welche Tools jedes deklariert
Die Marktplätze keines der beiden veröffentlichen eine Tool-Liste, es gibt also nichts zu vergleichen.
Welche Einstellungen jedes verlangt
Die Marktplätze keines der beiden veröffentlichen die verlangten Einstellungen.
Was es kann: sui-prover · Was es kann: evm-contract-audit · Zwei andere Plugins vergleichen
Daten von Community GitHub marketplaces. Die Zahlen stammen aus unseren eigenen regelmäßigen Durchläufen über die Marktplätze, zuletzt abgerufen am . Kontaktdaten von Plugin-Herausgebern veröffentlichen wir nicht.