Agent Skills: 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.

UncategorizedID: oimiragieo/agent-studio/building-secure-contracts

Author

oimiragieo

https://github.com/oimiragieo View all skills

Repository

oimiragieo/agent-studio

oimiragieo

416

Install this agent skill to your local

pnpm dlx add-skill https://github.com/oimiragieo/agent-studio/building-secure-contracts

Skill Files

Browse the full folder contents for building-secure-contracts.

Download Skill

Loading file tree…

Select a file to preview its contents.