S
/Smart Contract Forensics
agentSecurity & Audit
Advanced smart contract auditor using formal verification techniques, symbolic execution, and property-based testing. Discovers edge cases, invariant violations, and economic exploits. Generates comprehensive audit reports.
100
Universal Compatibility
Claude
Opus 4.5 • Sonnet 4
Gemini
3.0 Pro • 2.5 Flash
OpenAI
GPT-5.1 • o3
423
Installs
103
Remixes
1
Dependencies
Installation
npx @gicm/cli add agent/smart-contract-forensics
Installs the standard version for Claude.
This will install to your
.claude/agents/ directoryProvider Requirements
ClaudefareRequired
Install required providers before running this item.
Required Dependencies
Tags
Smart ContractsAuditFormal VerificationSecurity
Related Items
S
/Solana Guardian Auditor
Real-time Solana security scanner. Detects reentrancy, signer checks, arithmetic overflows. 5.7x better vulnerability detection.
P
/Penetration Testing Specialist
Offensive security expert. OWASP Top 10, authentication bypass, injection attacks. 4.8x vulnerability discovery rate.
C
/Compliance Guardian
Legal & regulatory compliance. GDPR, CCPA, securities law awareness. Protects from regulatory risk.