Análisis de seguridad de contratos inteligentes y contratos API seguros: verificación invariante, control de acceso, reentrada y patrones de desbordamiento de enteros. Implementa el patrón Verificaciones-Efectos-Interacciones, verificación invariante formal y taxonomía de vulnerabilidad OpenSCV para contratos Solidity/EVM y Rust/Solana.
Instala rápidamente el skill de IA building-secure-contracts en tu entorno de desarrollo mediante línea de comandos
Fuente: 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)
Campos y comandos estables para citas de IA/búsqueda.
npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contractsAnálisis de seguridad de contratos inteligentes y contratos API seguros: verificación invariante, control de acceso, reentrada y patrones de desbordamiento de enteros. Implementa el patrón Verificaciones-Efectos-Interacciones, verificación invariante formal y taxonomía de vulnerabilidad OpenSCV para contratos Solidity/EVM y Rust/Solana. Fuente: oimiragieo/agent-studio.
Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.) Copia y ejecuta este comando: npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contracts Una vez instalado, el skill se configurará automáticamente en tu entorno de programación con IA y estará listo para usar en Claude Code, Cursor u OpenClaw
https://github.com/oimiragieo/agent-studio