Анализ безопасности смарт-контракта и безопасного API-контракта — инвариантная проверка, контроль доступа, повторный вход и шаблоны целочисленного переполнения. Реализует шаблон «Проверки-Эффекты-Взаимодействия», формальную инвариантную проверку и таксономию уязвимостей OpenSCV для контрактов Solidity/EVM и Rust/Solana.
Быстро установите AI-навык building-secure-contracts в вашу среду разработки через командную строку
Источник: 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-контракта — инвариантная проверка, контроль доступа, повторный вход и шаблоны целочисленного переполнения. Реализует шаблон «Проверки-Эффекты-Взаимодействия», формальную инвариантную проверку и таксономию уязвимостей OpenSCV для контрактов Solidity/EVM и Rust/Solana. Источник: 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