sui-prover ou auditsentry
sui-prover est un lot de plugins pour les outils de code IA publié par Asymptotic. Places de marché que nous lisons et qui le référencent : 1 (Community GitHub marketplaces). auditsentry est un lot de plugins pour les outils de code IA publié par Iktok Security Labs. Places de marché que nous lisons et qui le référencent : 1 (Community GitHub marketplaces). Selon notre passage sur les places de marché du 2026-10-24. Cette paire a été choisie par un lecteur, pas par notre règle de comparaison : nous demandons donc aux moteurs de recherche de ne pas indexer la page.
Où chacun est publié
| Place de marché | ||
|---|---|---|
| Place de marché communautaire asymptotic-code/sui-prover | Référencé Version: 0.1.0 Forks (GitHub): 13 Étoiles (GitHub): 43 Non marqué · Vu pour la première fois |
Absent |
| Place de marché communautaire iktok90-design/ai-smart-contract-auditor | Absent | Référencé Version: 1.0.0 Forks (GitHub): 5 Étoiles (GitHub): 36 Non marqué · Vu pour la première fois |
Chaque chiffre est celui de la place de marché et n'est jamais additionné entre places de marché. Une place de marché qui ne publie pas de chiffre n'en affiche aucun : pas de nombre ne veut pas dire zéro.
Les faits côte à côte
| Fait | sui-prover | auditsentry |
|---|---|---|
| Marketplaces qui le listent | 1 | 1 |
| Étoiles (GitHub) (différent) | 43 (meilleur) | 36 (moins bon) |
| Forks (GitHub) (différent) | 13 (meilleur) | 5 (moins bon) |
| Dernière version | Non publié | Non publié |
| Où il s'exécute | S'installe comme lot de plugins | S'installe comme lot de plugins |
| Transport | Non indiqué | Non indiqué |
| Outils déclarés | Non publié | Non publié |
| Variables d'environnement demandées (différent) | Non publié | 12, dont secrets : 5 |
| Hooks exécutés (différent) | Non publié | 2 |
| Parties du lot (différent) | 1 | 128 |
| Licence (différent) | Non indiqué | MIT |
| Dépôt (différent) | github.com/asymptotic-code/sui-prover | github.com/iktok90-design/ai-smart-contract-auditor |
| Modifications des 7 derniers jours (différent) | 0 | 2 |
| Vu pour la première fois (différent) | 2026-10-15 | 2026-10-21 |
Les lignes où les deux diffèrent ont un fond teinté et des valeurs en gras. Là où les données elles-mêmes disent quelle valeur est meilleure (plus de marketplaces, un chiffre plus élevé du même marketplace, une version plus récente, une marque verified sur un marketplace qui liste les deux), la meilleure est aussi marquée en vert avec ▲ et la moins bonne en rouge avec ▼. L'endroit où il s'exécute, le transport, les outils, les réglages, les hooks, les parties du lot, la licence et les modifications de la semaine sont marqués seulement comme différents : plus ou moins n'est pas mieux en soi.
Ce que chacun dit faire
sui-prover
Formal verification for Sui Move smart contracts. Write specifications, run the prover, debug verification failures, and understand results.
auditsentry
AI-powered smart contract security auditor for Claude Code — vuln detection, exploit PoCs, mainnet-fork sims, audit cards, on-chain certificates.
Comment lancer chacun
sui-prover En plugin Claude Code
/plugin marketplace add asymptotic-code/sui-prover
/plugin install sui-prover@sui-proverauditsentry En plugin Claude Code
/plugin marketplace add iktok90-design/ai-smart-contract-auditor
/plugin install auditsentry@auditsentryCommandes construites uniquement à partir de ce que déclarent les marketplaces ; le jeu complet pour chaque client figure sur la fiche de chacun.
Outils que déclare chacun
Les marketplaces d'aucun des deux ne publient de liste d'outils, il n'y a donc rien à comparer.
Réglages que demande chacun
Les marketplaces de sui-prover ne publient pas les réglages demandés, nous ne comparons donc pas les réglages.
Ce qu'il peut faire : sui-prover · Ce qu'il peut faire : auditsentry · Comparer deux autres plugins
Données issues de Community GitHub marketplaces. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le . Nous ne publions aucune coordonnée des éditeurs de plugins.