AI Agent Skills

A guide to smart contract security best practices

Ethereum smart contracts for security and utility tokens

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues…

Scans TON (The Open Network) smart contracts for 3 critical vulnerabilities including integer-as-boolean misuse, fake Jetton contracts, and forward TON without gas check…

Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signa…

Cadence: the resource-oriented smart contract programming language of the Flow network. Capability-based security, type safety, and move semantics

PatrOwl - Open Source, Smart and Scalable Security Operations Orchestration Platform