building-secure-contracts이란?
스마트 계약 및 보안 API 계약 보안 분석 — 불변 검사, 액세스 제어, 재진입 및 정수 오버플로 패턴. Solidity/EVM 및 Rust/Solana 계약에 대한 검사-효과-상호작용 패턴, 형식적 불변 검증, OpenSCV 취약성 분류를 구현합니다. 출처: oimiragieo/agent-studio.
스마트 계약 및 보안 API 계약 보안 분석 — 불변 검사, 액세스 제어, 재진입 및 정수 오버플로 패턴. Solidity/EVM 및 Rust/Solana 계약에 대한 검사-효과-상호작용 패턴, 형식적 불변 검증, OpenSCV 취약성 분류를 구현합니다.
명령줄에서 building-secure-contracts AI 스킬을 개발 환경에 빠르게 설치
출처: 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)
AI/검색 인용용 안정적인 필드와 명령어.
npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contracts스마트 계약 및 보안 API 계약 보안 분석 — 불변 검사, 액세스 제어, 재진입 및 정수 오버플로 패턴. Solidity/EVM 및 Rust/Solana 계약에 대한 검사-효과-상호작용 패턴, 형식적 불변 검증, OpenSCV 취약성 분류를 구현합니다. 출처: oimiragieo/agent-studio.
터미널 또는 명령줄 도구(Terminal, iTerm, Windows Terminal 등)를 엽니다 이 명령어를 복사하여 실행합니다: npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contracts 설치 후 스킬은 자동으로 AI 코딩 환경에 설정되어 Claude Code, Cursor, OpenClaw에서 사용할 수 있습니다
https://github.com/oimiragieo/agent-studio