什麼是 building-secure-contracts？
智慧合約和安全 API 合約安全分析—不變檢查、存取控制、重入和整數溢位模式。為 Solidity/EVM 和 Rust/Solana 合約實作「檢查-效果-互動」模式、形式不變驗證和 OpenSCV 漏洞分類。 來源：oimiragieo/agent-studio。
·building-secure-contracts
!
building-secure-contracts
✓智慧合約和安全 API 合約安全分析—不變檢查、存取控制、重入和整數溢位模式。為 Solidity/EVM 和 Rust/Solana 合約實作「檢查-效果-互動」模式、形式不變驗證和 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 中使用
這個 Skill 的原始碼在哪？
https://github.com/oimiragieo/agent-studio
詳情
- 分類
- !安全工具
- 來源
- skills.sh
- 收錄時間
- 2026-03-05