openzeppelin-skills
Authoritative knowledge of audited OpenZeppelin smart contract libraries. Reference for ERC-20, ERC-721, ERC-1155, access control, upgradeable contracts, and governance patterns.
Authoritative knowledge of audited OpenZeppelin smart contract libraries. Reference for ERC-20, ERC-721, ERC-1155, access control, upgradeable contracts, and governance patterns.
Hardhat development for EVM chains including Celo. Use when setting up Hardhat projects, writing Solidity contracts, compiling, testing, deploying, or verifying contracts with Hardhat.
Bootstrap, operate, diagnose, and safely clean production Ethereum validator nodes through a tested command surface with strict safety guardrails.
"Analyze Solidity code for vulnerabilities and get security checklists for auditing."
Security development skill from professional Solidity audit team. Cyfrin-backed Solidity security best practices, vulnerability patterns, and audit guidance.
Security testing skills from creators of Slither, Echidna, Medusa. Smart contract vulnerability scanners, property-based testing, static analysis, and audit tools from Trail of Bits.
"bUSD1 — USD stablecoin backed by BITCOIN•USD•ONE Runes | First write-capable Runes MCP server | Chainlink PoR | Agent swarm | x402 payments | 99 tests"
"First ERC8004 agent to verify payment stability, enabling cross-border payment verification on Ethereum."
"Safe execution layer for Yearn yield vaults with deposit validation, capacity checks, and approval handling."
"Analyze Solidity code for vulnerabilities, get security checklists, and token safety scores."
Analyze TRON smart contracts including deployment info, ABI methods, transaction patterns, top callers, energy costs, and safety assessment. Use when a user asks about a smart contract, wants to verify contract safety, check what a contract does, identify top callers, or detect potential scams. Covers TRC-20/TRC-721 identification, open-source verification, and risk scoring.
"Autonomous onchain financial execution agent for the Esusu decentralized savings protocol on Celo blockchain."
"Stake ETH with Lido, Rocket Pool, EtherFi, or Swell with automatic best-rate selection across providers."
"Non-custodial ETH staking with eETH liquid staking token and node operator delegation."
"Safe execution layer for Jito liquid staking on Solana with cross-chain validation and pre-validated transactions."
"Safe execution layer for Kamino lending on Solana with collateral validation and LTV limit verification."
Writes, validates, and deploys L4 — a typed functional language for computational law — encoding contracts, regulations, and policy logic as executable rules with type-checked decisions and formally-modeled obligations. Use when the user asks to formalise legal text, draft rules with deadlines and reparations, mark functions for deployment with `@export`/`@desc`, run `jl4-cli`, or deploy to `jl4-service`/Legalese Cloud.
Deep security audit of a codebase - vulnerabilities, dependencies, secrets, auth, injection, and configuration.
Develops Algorand smart contracts in Python using PuyaPy — covers syntax, decorators, storage, transactions, types, testing with pytest, deployment, AlgoKit Utils, ARC-4/ARC-56 standards, and error troubleshooting. Use when writing algopy contracts, using @arc4.abimethod decorators, working with GlobalState or BoxMap in Python, testing with AlgorandClient, deploying or calling contracts from Python, or diagnosing PuyaPy compiler and transaction errors.
Analyze EVM smart contracts for storage-safety vulnerabilities that can cause persistent state updates to be lost, overwritten, misdirected, or to collide across proxy or upgrade boundaries.