AI Agent Skills

Ethereum smart contracts for security and utility tokens

📜 Smart contracts for the Axone protocol

This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for…

🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠

Smart contracts and transactions for Topshot, the official NBA digital collectibles game on the Flow Blockchain

Python scripts for ETL (extract, transform and load) jobs for Ethereum blocks, transactions, ERC20 / ERC721 tokens, transfers, receipts, logs, contracts, internal transa…

An Ethereum-compatible smart contract parachain on Polkadot

Performant and Confidentiality-Preserving Smart Contracts + Blockchains

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

All the contracts related to the Defi Saver ecosystem

Internal downstream skill for ctf-sandbox-orchestrator. CTF-sandbox workflow for GraphQL schemas, persisted queries, RPC manifests, generated clients, OpenAPI drift, hid…

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

Token integration and implementation analyzer based on Trail of Bits' token integration checklist. Analyzes token implementations for ERC20/ERC721 conformity, checks for…

Smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation/specifications, review architecture, check upgrade…

A private blockDAG with Homomorphic Encryption and Smart Contracts

æternity blockchain - scalable blockchain for the people - smart contracts, state channels, names, tokens