Synthèse automatique
Guide les bonnes pratiques de sécurité des smart contracts Solidity pour prévenir les vulnérabilités courantes et appliquer des patterns de développement sûrs.
Points forts
- Couvre les vecteurs d'attaque classiques : reentrancy, dépassements d'entiers et contrôle d'accès
- S'applique aussi bien à l'écriture de nouveaux contrats qu'à l'audit de contrats existants
- Inclut un playbook d'implémentation détaillé avec des patterns concrets
- Aborde la préparation aux audits professionnels et l'optimisation du gas sans compromis sur la sécurité
Limites
- Ne fournit pas d'outillage d'analyse automatisée ni de vérification formelle
- Reste centré sur Solidity et DeFi, sans couvrir d'autres chaînes ou langages
- La qualité des résultats dépend du contrat ou du contexte fourni par l'utilisateur
Utilisez cette compétence dès que vous rédigez, révisez ou auditez un contrat Solidity ou un protocole DeFi.
Ne l'utilisez pas pour des tâches hors du périmètre Solidity, comme le développement frontend ou la sécurité d'applications web classiques.
Analyse de sécurité
SûrThe skill contains only instructional guidance about Solidity security best practices. It declares no tools, executes no commands, and does not request secrets, network access, or destructive operations. There is no meaningful execution risk.
Aucun point d'attention détecté
Comment cette analyse est faiteExemples
Audit this Solidity contract for reentrancy, access control and overflow issues, and list each finding with severity and a fix: [paste contract]I'm building a staking contract that transfers rewards in ETH. Show me the secure Solidity pattern to avoid reentrancy and explain the checks-effects-interactions ordering.Review my ERC-20 token contract against common Solidity vulnerabilities and tell me what I should fix before sending it to a professional audit.version: 4.1.0-fractal name: solidity-security description: Master smart contract security best practices to prevent common vulnerabilities and implement secure Solidity patterns. Use when writing smart contracts, auditing existing contracts, or implementing security measures for blockchain applications.
Solidity Security
Master smart contract security best practices, vulnerability prevention, and secure Solidity development patterns.
Use this skill when
- Writing secure smart contracts
- Auditing existing contracts for vulnerabilities
- Implementing secure DeFi protocols
- Preventing reentrancy, overflow, and access control issues
- Optimizing gas usage while maintaining security
- Preparing contracts for professional audits
- Understanding common attack vectors
Do not use this skill when
- The task is unrelated to solidity security
- You need a different domain or tool outside this scope
Instructions
- Clarify goals, constraints, and required inputs.
- Apply relevant best practices and validate outcomes.
- Provide actionable steps and verification.
- If detailed examples are required, open
resources/implementation-playbook.md.
Resources
resources/implementation-playbook.mdfor detailed patterns and examples.
🧠 Knowledge Modules (Fractal Skills)
1. implementation-playbook
Du fichier au premier essai
Le téléchargement contient exactement le contenu affiché sur cette fiche. Cette copie peut différer de la dernière version du dépôt source.
Consulter la source et ses fichiers annexesCe téléchargement contient uniquement SKILL.md. Les scripts, références, modèles et dépendances éventuels ne sont pas inclus. Récupérez les fichiers nécessaires depuis la source en conservant leur arborescence avant de poursuivre.
1. Télécharger le fichier
Télécharger SKILL.mdDepuis la racine d’un projet de test, enregistrez le fichier sous .skill-downloads/solidity-security-msh3utts/SKILL.md, ou utilisez la commande suivante. Ce dossier sert à examiner la skill avant son installation.
Commande pour macOS/Linux ou WSL : un shell POSIX et curl sont nécessaires. Sous Windows sans WSL, utilisez le bouton de téléchargement et créez le dossier manuellement.
mkdir -p '.skill-downloads/solidity-security-msh3utts' && curl --fail --show-error --location 'https://skills-guides.com/api/skills/solidity-security-msh3utts/download' --output '.skill-downloads/solidity-security-msh3utts/SKILL.md.part' && mv '.skill-downloads/solidity-security-msh3utts/SKILL.md.part' '.skill-downloads/solidity-security-msh3utts/SKILL.md'2. Vérifier les prérequis
Lisez SKILL.md avant de l’utiliser. Si le fichier cite des scripts ou services externes, examinez-les et préparez les accès nécessaires dans votre environnement de test.
Aucune section de prérequis reconnue dans ce fichier. Cela ne signifie pas qu’il est autonome : les bibliothèques, outils et accès peuvent être cités ailleurs dans le contenu ou dans le dépôt source.
Les plateformes de la fiche sont des indications du catalogue. Les chemins ci-dessous suivent la documentation des outils ; ils ne prouvent pas que cette skill y a été exécutée. Aucune version minimale de ces outils n’est attestée pour cette fiche.
3. Charger la skill
Après vérification, copiez le dossier complet dans le projet avec l’une des commandes ci-dessous, puis ouvrez une nouvelle session de l’outil. La commande s’arrête si un dossier du même nom existe déjà : comparez les fichiers avant de le remplacer.
Claude Code
test -f '.skill-downloads/solidity-security-msh3utts/SKILL.md' && test -s '.skill-downloads/solidity-security-msh3utts/SKILL.md' && mkdir -p '.claude/skills' && test ! -e '.claude/skills/solidity-security' && cp -R '.skill-downloads/solidity-security-msh3utts' '.claude/skills/solidity-security'Cursor
test -f '.skill-downloads/solidity-security-msh3utts/SKILL.md' && test -s '.skill-downloads/solidity-security-msh3utts/SKILL.md' && mkdir -p '.cursor/skills' && test ! -e '.cursor/skills/solidity-security' && cp -R '.skill-downloads/solidity-security-msh3utts' '.cursor/skills/solidity-security'Codex
test -f '.skill-downloads/solidity-security-msh3utts/SKILL.md' && test -s '.skill-downloads/solidity-security-msh3utts/SKILL.md' && mkdir -p '.agents/skills' && test ! -e '.agents/skills/solidity-security' && cp -R '.skill-downloads/solidity-security-msh3utts' '.agents/skills/solidity-security'OpenSkills
OpenSkills doit déjà être installé. La procédure locale install/read est contrôlée avec OpenSkills 1.5.0, qui exige Node.js ≥ 20.6.0. Aucun slug du catalogue n’est résolu automatiquement.
Installation officielle d’OpenSkillsopenskills install './.skill-downloads/solidity-security-msh3utts'openskills read 'solidity-security-msh3utts'La lecture doit afficher le contenu du fichier installé et son dossier de base. Elle ne lance ni la skill ni ses dépendances.
Pour un agent qui lit AGENTS.md, synchronisez ensuite l’index. Cette commande modifie AGENTS.md : relisez le diff avant de l’utiliser.
openskills syncMode manuel ou autre outil : joignez SKILL.md à une conversation, ou ouvrez-le dans un agent capable de lire les fichiers. Ajoutez les ressources annexes nécessaires. Il n’existe pas de dossier universel reconnu par tous les outils.
4. Faire un premier essai
Utilisez une entrée courte et fictive : un endpoint d’API, un petit document ou un brief d’interface. Dans une nouvelle conversation, joignez le fichier ou donnez son chemin à l’agent, puis adaptez cette demande :
Lis .skill-downloads/solidity-security-msh3utts/SKILL.md et applique ses instructions à cet exemple : [décrire une entrée de test]. Indique les fichiers, dépendances ou accès qui manquent. Produis le résultat demandé par la skill sans inventer de données ni exécuter de script non examiné.Résultat attendu : une sortie correspondant aux instructions de la skill, ou une liste précise des prérequis manquants. Une simple confirmation de lecture ne valide pas le premier usage. Si une ressource externe est indisponible, ce parcours reste à tester.
Sécurité AMM DeFi
Securite
Checklist de sécurité pour les contrats Solidity AMM, pools de liquidité et flux de swap. Couvre réentrance, attaques par donation, manipulation d'oracles, etc.
Créateur de règles Semgrep
Securite
Crée des règles Semgrep personnalisées pour détecter des vulnérabilités de sécurité, des motifs de bugs et des motifs de code. Inclut une méthodologie de test en premier, le support du mode taint et des étapes de validation. Utile pour construire des détections d'analyse statique ciblées.
Revue barre d'outils développement
Securite
Règles de sécurité pour la barre d'outils de développement, le client PostHog et les feature flags. À utiliser lors de la revue de modifications des composants dev-tools et connexes.