building-secure-contracts とは？
スマート コントラクトと安全な API コントラクトのセキュリティ分析 - 不変チェック、アクセス制御、再入性、整数オーバーフロー パターン。 Solidity/EVM および Rust/Solana コントラクトに対する Checks-Effects-Interactions パターン、形式的不変式検証、OpenSCV 脆弱性分類法を実装します。 ソース: oimiragieo/agent-studio。
·building-secure-contracts
!
building-secure-contracts
✓スマート コントラクトと安全な API コントラクトのセキュリティ分析 - 不変チェック、アクセス制御、再入性、整数オーバーフロー パターン。 Solidity/EVM および Rust/Solana コントラクトに対する Checks-Effects-Interactions パターン、形式的不変式検証、OpenSCV 脆弱性分類法を実装します。
building-secure-contracts のインストール方法
コマンドラインで building-secure-contracts AI スキルを開発環境にすばやくインストール
- ターミナルを開く: ターミナルまたはコマンドラインツール（Terminal、iTerm、Windows Terminal など）を開きます
- インストールコマンドを実行: このコマンドをコピーして実行します: npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contracts
- インストールを確認: インストール後、スキルは自動的に AI コーディング環境に設定され、Claude Code、Cursor、OpenClaw で使用できるようになります
ソース: oimiragieo/agent-studio。
SKILL.md
原文を見る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
クイックアンサー
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
詳細
- カテゴリ
- !セキュリティ
- ソース
- skills.sh
- 初回登録
- 2026-03-05