Analisi della sicurezza dei contratti intelligenti e API sicure: verifica invariante, controllo degli accessi, rientro e modelli di overflow di numeri interi. Implementa il modello Checks-Effects-Interactions, la verifica formale degli invarianti e la tassonomia delle vulnerabilità OpenSCV per i contratti Solidity/EVM e Rust/Solana.
Installa rapidamente la skill AI building-secure-contracts nel tuo ambiente di sviluppo tramite riga di comando
Fonte: 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)
Campi e comandi stabili per citazioni AI/ricerca.
npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contractsAnalisi della sicurezza dei contratti intelligenti e API sicure: verifica invariante, controllo degli accessi, rientro e modelli di overflow di numeri interi. Implementa il modello Checks-Effects-Interactions, la verifica formale degli invarianti e la tassonomia delle vulnerabilità OpenSCV per i contratti Solidity/EVM e Rust/Solana. Fonte: oimiragieo/agent-studio.
Apri il tuo terminale o strumento da riga di comando (Terminal, iTerm, Windows Terminal, ecc.) Copia ed esegui questo comando: npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contracts Dopo l'installazione, la skill verrà configurata automaticamente nel tuo ambiente AI di coding e sarà pronta all'uso in Claude Code, Cursor o OpenClaw
https://github.com/oimiragieo/agent-studio