メニュー
Audit de sécurité de smart contracts Solidity et blockchain. Se déclenche avec "smart contract", "Solidity", "audit blockchain", "vulnérabilité smart contract", "reentrancy", "ERC-20", "ERC-721", "Web3 security".
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/aibot88/sec_skill_store --skill dev-smart-contract-auditorコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
Guides the creation of agile user stories and Gherkin feature files. Use when the user wants to create a user story, write acceptance criteria, define Gherkin scenarios, or author BDD feature files. This should trigger for requests such as Create a user story; Write a user story; I need to write a user story. Part of cursor-rules-java project
Guía técnica completa para integrar 250+ servicios externos con agentes IA usando Composio. Cubre instalación, autenticación OAuth, gestión de herramientas, triggers y flujos multi-servicio.
Facilitates conversational discovery to create Architectural Decision Records (ADRs) for non-functional requirements using the ISO/IEC 25010:2023 quality model. Use when the user wants to document quality attributes, NFR decisions, security/performance/scalability architecture, or design systems with measurable quality criteria. This should trigger for requests such as Create ADR for Non-functional requirements; Document Non-functional requirements; Capture Non-functional requirements; Generate Non-functional requirements in an ADR. Part of cursor-rules-java project
SOC 職業分類に基づく
SKILL.md を表示中
| name | dev-smart-contract-auditor |
| description | Audit de sécurité de smart contracts Solidity et blockchain. Se déclenche avec "smart contract", "Solidity", "audit blockchain", "vulnérabilité smart contract", "reentrancy", "ERC-20", "ERC-721", "Web3 security". |
Lecture et compréhension du contrat : Analyser la logique métier, les flux de tokens, les rôles et permissions, les interactions entre contrats, et documenter l'architecture générale avant toute analyse de sécurité.
Vérification des vulnérabilités classiques : Identifier les failles connues telles que reentrancy (appels externes avant mise à jour d'état), integer overflow/underflow, front-running, access control défaillant, et problèmes de timestamp dependance.
Analyse des patterns de sécurité : Vérifier l'application du pattern checks-effects-interactions, l'utilisation de pull payments plutôt que push, la présence de guard modifiers, et la gestion correcte des erreurs avec revert/require/assert.
Vérification des standards : Contrôler la conformité aux standards ERC-20, ERC-721 et ERC-1155, valider l'utilisation correcte des bibliothèques OpenZeppelin, et vérifier la compatibilité avec les interfaces attendues par l'écosystème.
Gas optimization : Analyser l'utilisation de storage vs memory, détecter les boucles coûteuses, identifier les opportunités de batch operations, vérifier l'usage de variables constant/immutable, et optimiser les patterns d'écriture en storage.
Tests et fuzzing : Écrire et exécuter des tests unitaires avec Foundry, mettre en place du fuzzing sur les fonctions critiques, définir des invariants de test, et effectuer des fork tests sur mainnet pour simuler des scénarios réels.
Outils d'analyse statique : Exécuter Slither pour détecter les patterns vulnérables, Mythril pour l'analyse symbolique, Echidna pour le fuzzing basé sur propriétés, et Certora Prover pour la vérification formelle des invariants critiques.
Rapport d'audit structuré : Rédiger un rapport complet classant chaque finding par sévérité (Critical/High/Medium/Low/Info), avec description de la vulnérabilité, proof of concept reproductible, recommandation de correction, et suivi du statut de remédiation.