Building Secure Contracts
Smart contract and secure API contract security analysis — invariant checking, access control, re…
by oimiragieo
The skill
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.
This skill's licence does not allow redistribution, so the store does not show its text. Read it at the source.
Use this skill
Connect your agent to the Skill Store MCP server and ask for it by ref: oimiragieo/building-secure-contracts-55179491816.
Details
- Publisher
- oimiragieo
- Category
- Security › Application security
- Updated
- 2026-07-02
References
More from oimiragieo
- Telegram Polling Poll Telegram Bot API for new messages and route commands to agents.
- Telegram Voice Pipeline End-to-end voice message pipeline for Telegram — download OGG attachment, transcribe with Whisper…
- Accessibility Ensure accessibility in UI components including semantic HTML, ARIA attributes, keyboard navigati…
- Advanced Elicitation Use when you want to improve response quality through meta-cognitive reasoning.