Analyse de la sécurité des contrats intelligents et des API sécurisées : vérification invariante, contrôle d'accès, réentrance et modèles de dépassement d'entier. Implémente le modèle Checks-Effets-Interactions, la vérification formelle des invariants et la taxonomie des vulnérabilités OpenSCV pour les contrats Solidity/EVM et Rust/Solana.
Installez rapidement le skill IA building-secure-contracts dans votre environnement de développement via la ligne de commande
Source : oimiragieo/agent-studio.
Smart contract and secure API contract security analysis skill. Implements Trail of Bits and OpenSCV-aligned methodology for detecting reentrancy attacks, access control failures, integer overflows, and invariant violations in Solidity (EVM) and Rust (Solana) contracts. Addresses the $1.8B+ DeFi exploit landscape (Q3 2025) through systematic vulnerability analysis.
This skill applies systematic security analysis to smart contracts and secure API contracts. The core principle: every state mutation must be proven safe through invariant verification before an external call executes. It covers both EVM (Solidity) and Solana (Rust) ecosystems with platform-specific vulnerability patterns.
Vulnerability taxonomy: OpenSCV (94 classified security issues) Critical patterns: CEI, reentrancy guards, access modifiers, SafeMath equivalents Risk landscape: $1.8B+ in DeFi exploits Q3 2025 (access control: $953M, reentrancy: $420M)
Champs et commandes stables pour les citations IA/recherche.
npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contractsAnalyse de la sécurité des contrats intelligents et des API sécurisées : vérification invariante, contrôle d'accès, réentrance et modèles de dépassement d'entier. Implémente le modèle Checks-Effets-Interactions, la vérification formelle des invariants et la taxonomie des vulnérabilités OpenSCV pour les contrats Solidity/EVM et Rust/Solana. Source : oimiragieo/agent-studio.
Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contracts Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code, Cursor ou OpenClaw
https://github.com/oimiragieo/agent-studio