Intelligente Vertragssicherheitsanalyse und sichere API-Vertragssicherheitsanalyse – Invariantenprüfung, Zugriffskontrolle, Wiedereintritt und ganzzahlige Überlaufmuster. Implementiert das Checks-Effects-Interactions-Muster, die formale Invariantenüberprüfung und die OpenSCV-Schwachstellentaxonomie für Solidity/EVM- und Rust/Solana-Verträge.
Installieren Sie den KI-Skill building-secure-contracts schnell in Ihrer Entwicklungsumgebung über die Kommandozeile
Quelle: oimiragieo/agent-studio.
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)
Stabile Felder und Befehle für KI/Such-Zitate.
npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contractsIntelligente Vertragssicherheitsanalyse und sichere API-Vertragssicherheitsanalyse – Invariantenprüfung, Zugriffskontrolle, Wiedereintritt und ganzzahlige Überlaufmuster. Implementiert das Checks-Effects-Interactions-Muster, die formale Invariantenüberprüfung und die OpenSCV-Schwachstellentaxonomie für Solidity/EVM- und Rust/Solana-Verträge. Quelle: oimiragieo/agent-studio.
Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/oimiragieo/agent-studio --skill building-secure-contracts Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code, Cursor oder OpenClaw
https://github.com/oimiragieo/agent-studio