Comparaison

fhevm ou formal-agent-contracts

fhevm n’est plus référencé sur aucune place de marché que nous lisons : ce sont ses dernières données connues, au 2026‑10‑16.

fhevm est un lot de plugins pour les outils de code IA publié par 0xE1337. Aucune place de marché que nous lisons ne le référence plus. formal-agent-contracts est un lot de plugins pour les outils de code IA publié par kotaroyamame. Places de marché que nous lisons et qui le référencent : 1 (Claude Code: claude-plugins-community). Selon notre passage sur les places de marché du 2026-10-26. Un plugin de cette paire n’est plus référencé sur aucune place de marché que nous lisons : nous demandons donc aux moteurs de recherche de ne pas indexer la page.

Où chacun est publié

Où chacun est publié
Place de marché	fhevm	formal-agent-contracts
Place de marché communautaire 0xe1337/fhevm-skill	Retiré le 2026-10-16 Version: 1.0.0 Forks (GitHub): 0 Étoiles (GitHub): 1 Non marqué · Vu pour la première fois 2026-10-15	Absent
Claude Code: claude-plugins-community	Absent	Référencé Version: 2.2.0 Forks (GitHub): 0 Étoiles (GitHub): 1 Non marqué · Vu pour la première fois 2026-10-11

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

fhevm ou formal-agent-contracts
Fait	fhevmplus référencé · 2026-10-16	formal-agent-contracts
Marketplaces qui le listent (différent)	0	1
Étoiles (GitHub)	1	1
Forks (GitHub)	0	0
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	Non publié	Non publié
Parties du lot (différent)	1	15
Licence	MIT	MIT
Dépôt (différent)	github.com/0xe1337/fhevm-skill	github.com/kotaroyamame/formal-agent-contracts
Modifications des 7 derniers jours	0	0
Vu pour la première fois (différent)	2026-10-15	2026-10-11

Les lignes où les deux diffèrent ont un fond teinté et des valeurs en gras. Aucune valeur n’est marquée meilleure ou moins bonne : un plugin qu’aucune place de marché ne référence plus est montré avec ses dernières données connues, que nous ne classons pas face à des chiffres actuels.

Quoi utiliser à la place de « fhevm »

Plugins encore référencés dont les noms, descriptions, outils et skills sont les plus proches par le sens. Comparables, pas recommandés.

fhenix-toolkit

Write, test, and audit confidential Solidity and TypeScript on Fhenix CoFHE. Ships fhenix-contracts, fhenix-sdk, fhenix-review, fhenix-tests skills plus the fhe-reviewer audit…

par Fhenix Protocol · Lot de plugins

Référencé sur : Community GitHub marketplaces · Décrit presque le même besoin
aztec

Claude Code plugin for Aztec smart contract and application development

par critesjosh · Lot de plugins

Référencé sur : Community GitHub marketplaces · Décrit presque le même besoin
aptos-agent-skills

AI skills for building fullstack Aptos dApps — Move smart contracts, TypeScript SDK, wallet integration, security auditing, and gas optimization.

par aptos-labs · Lot de plugins

Référencé sur : Claude Code: claude-plugins-community, Community GitHub marketplaces · Décrit presque le même besoin
agents-blockchain-web3

Specialized agents for blockchain development, smart contracts, and Web3 applications

par BuildWithClaude Community · Lot de plugins

Référencé sur : Community GitHub marketplaces · Décrit presque le même besoin
OpenZeppelin Solidity Contracts

Access to OpenZeppelin Solidity Contracts.

par docker · Serveur MCP

Référencé sur : Docker MCP Catalog · Décrit presque le même besoin
Solidity Compiler IDE

Browser Solidity compiler IDE - smart contract development testing deploy

par nirholas · Serveur MCP

Référencé sur : Official MCP Registry · Décrit presque le même besoin

Sa fiche, avec les plugins similaires par place de marché

Ce que chacun dit faire

fhevm

Dans ses propres mots, sur Community GitHub marketplaces :

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.

formal-agent-contracts

Dans ses propres mots, sur Claude Code: claude-plugins-community :

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 contract enforcement — all through natural language conversation with Claude.

Comment lancer chacun

fhevm

Pas de données pour une commande automatique : ce que déclarent ses places de marché ne dit pas sans ambiguïté comment le connecter.

formal-agent-contracts En plugin Claude Code

Claude Code

/plugin marketplace add anthropics/claude-plugins-community
/plugin install formal-agent-contracts@claude-community

Commandes 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 d'aucun des deux ne publient les réglages demandés.

Ce qu'il peut faire : fhevm · Ce qu'il peut faire : formal-agent-contracts · Comparer deux autres plugins

Données issues de Community GitHub marketplaces. Données issues de Claude Code: claude-plugins-community. Les chiffres proviennent de nos propres passages réguliers sur les places de marché, dernière lecture le 2026-10-26. Nous ne publions aucune coordonnée des éditeurs de plugins.