# Building Secure Contracts

> Smart contract and secure API contract security analysis — invariant checking, access control, re…

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.

- Page: https://ss33.ai/skills/oimiragieo/building-secure-contracts-55179491816
- Publisher: oimiragieo
- Category: [Security](https://ss33.ai/skills/category/security-w9g95g) › [Application security](https://ss33.ai/skills/category/security-w9g95g/application-security-6s8pr9)
- Source: https://github.com/oimiragieo/agent-studio/blob/64b580eab27ba37673f042ecc12ac53413cd9dd5/.claude/skills/building-secure-contracts/SKILL.md

## Skill

This skill's licence does not allow redistribution, so the store does not serve its text. Get it from the author: https://github.com/oimiragieo/agent-studio/blob/64b580eab27ba37673f042ecc12ac53413cd9dd5/.claude/skills/building-secure-contracts/SKILL.md