home/categories/smart-contracts/oimiragieo-agent-studio-claude-skills-building-secure-contracts-skill-md
smart-contractsblockchain
building-secure-contracts
Smart contract and secure API contract security analysis — invariant checking, access control, reentrancy, and integer overflow patterns. Implements Checks-Effects-Interactions pattern, formal invariant verification, and OpenSCV vulnerability taxonomy for Solidity/EVM and Rust/Solana contracts.
maintainer
oimiragieo
آخر تحديث 3/3/2026
النجوم
24
التفرعات
2
quick start
Installation and usage
Smart contract and secure API contract security analysis — invariant checking, access control, reentrancy, and integer overflow patterns. Implements Checks-Effects-Interactions pattern, formal invariant verification, and OpenSCV vulnerability taxonomy for Solidity/EVM and Rust/Solana contracts.
التثبيت
$ install --globalskills.sh
الاستخدام
بعد التثبيت، يمكنك استخدام هذه المهارة بتشغيل الأمر التالي في الطرفية:
skills use building-secure-contracts