·building-secure-contracts
!

building-secure-contracts

스마트 계약 및 보안 API 계약 보안 분석 — 불변 검사, 액세스 제어, 재진입 및 정수 오버플로 패턴. Solidity/EVM 및 Rust/Solana 계약에 대한 검사-효과-상호작용 패턴, 형식적 불변 검증, OpenSCV 취약성 분류를 구현합니다.

22설치·1트렌드·@oimiragieo

설치

$npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contracts

building-secure-contracts 설치 방법

명령줄에서 building-secure-contracts AI 스킬을 개발 환경에 빠르게 설치

  1. 터미널 열기: 터미널 또는 명령줄 도구(Terminal, iTerm, Windows Terminal 등)를 엽니다
  2. 설치 명령어 실행: 이 명령어를 복사하여 실행합니다: npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contracts
  3. 설치 확인: 설치 후 스킬은 자동으로 AI 코딩 환경에 설정되어 Claude Code, Cursor, OpenClaw에서 사용할 수 있습니다

출처: 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
카테고리
!보안
인증됨
최초 등록
2026-03-05
업데이트
2026-03-10

Browse more skills from oimiragieo/agent-studio

빠른 답변

building-secure-contracts이란?

스마트 계약 및 보안 API 계약 보안 분석 — 불변 검사, 액세스 제어, 재진입 및 정수 오버플로 패턴. Solidity/EVM 및 Rust/Solana 계약에 대한 검사-효과-상호작용 패턴, 형식적 불변 검증, OpenSCV 취약성 분류를 구현합니다. 출처: oimiragieo/agent-studio.

building-secure-contracts 설치 방법은?

터미널 또는 명령줄 도구(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