Solidity agent skills for Claude Code, Codex and other agents.

Maps the state-changing entry points of a smart contract codebase and sorts them by access level, producing a structured audit report that leaves out read-only functions.

trailofbits/skills

Triages survived mutants and unnecessary test statements using Trailmark call-graph data, sorting them into false positives, missing unit tests and fuzzing targets.

trailofbits/skills

Gets your own codebase ready for an external security review: sets review goals, runs static analysis, raises test coverage, removes dead code and writes documentation.

trailofbits/skills

Reviews a smart contract project against Trail of Bits development guidelines, covering documentation, architecture, upgradeability, implementation quality, dependencies and tests.

trailofbits/skills

Writes, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity invariants.

trailofbits/skills

Guides smart contract audits and bounty target selection with ten DeFi bug classes, kill signals, a Foundry PoC template and grep patterns.

awarexone/Agentic-Bug-Hunter

Generate Echidna/Medusa-compatible Solidity fuzz suites from Foundry or Hardhat projects.

pashov/skills

Convert English-language properties in PROPERTIES.md (produced by the Fizz skill) into Solidity assertions inside the existing fuzz harness, then flip their checkboxes.

pashov/skills

Deep business logic bug finder using the Feynman technique. An agent skill from 0xiehnnkta/nemesis-auditor.

0xiehnnkta/nemesis-auditor

Operates Flounder, an autonomous white-hat security auditor.

adshao/flounder

Script-backed, out-of-box auditing workflow for Solidity/EVM repositories based on EVMbench detect/patch/exploit methodology.

greatpie/smart-contract-audit-skill

Use radar for smart contract security analysis, AST generation, and detection template development.

Auditware/radar

Security audit of Solidity code while you develop. An agent skill from Gabson0x/bountyforge.

Gabson0x/bountyforge

Runs Slither and Mythril against Solidity contracts to find reentrancy, overflow and access-control bugs before mainnet deployment, then triages and reports findings.

tradecatlabs/vibe-coding-cn

Adds or repairs Diffyscan explorer API routing and response adapters for a new host, chain or payload format.

lidofinance/diffyscan

Systematically audit Solidity smart contract codebases for security vulnerabilities using a 4-phase approach - load a vulnerability cheatsheet, sweep code with grep and semantic analysis…

kadenzipfel/scv-scan

Solidity smart contract development guidelines for Lineth blockchain.

LFDT-Lineth/lineth-monorepo

Write Foundry tests, bulloak BTT tree specs, and Solidity scripts.

sablier-labs/evm-monorepo

Update the current-branch GitHub PR title, description, and labels with gh CLI using this repository's PR template.

lidofinance/staking-modules

Adds, reviews or tightens Diffyscan alloweddiffs rules for explained source or bytecode differences, including replacing any wildcards with granular rules.

lidofinance/diffyscan

Security audit of Solidity code while you develop. An agent skill from pashov/skills.

pashov/skills

Create production grade smart contracts. An agent skill from Cyfrin/solskill.

Cyfrin/solskill

Create or refactor Foundry deployment fixtures for Solidity tests.

aviggiano/security

Add a new Foundry cheatcode to Kontrol (K rules, selector, Solidity test, CI registration).

runtimeverification/kontrol

Write production-quality Solidity contracts. An agent skill from sablier-labs/evm-monorepo.

sablier-labs/evm-monorepo

Master smart contract security best practices to prevent common vulnerabilities and implement secure Solidity patterns.

wshobson/agents

Test smart contracts comprehensively using Hardhat and Foundry with unit tests, integration tests, and mainnet forking.

wshobson/agents

Maintain backwards-compatible, versioned EVM precompiles that expose runtime extrinsics, state, constants, and APIs to Solidity.

RaoFoundation/subtensor

Solidity templates for DeFi building blocks: staking with reward distribution, an automated market maker, governance tokens and flash loans.

wshobson/agents

Reference for ten classes of DeFi smart contract bugs, each with root cause, vulnerable code, fix, grep patterns and paid examples, for audits and bug bounty reviews.

tradecatlabs/vibe-coding-cn

Research notes drawn from Trail of Bits, SlowMist, ConsenSys, Immunefi and Cyfrin on smart contract audit methodology, with Slither, Echidna and Medusa setup.

tradecatlabs/vibe-coding-cn

Creates or extends a Diffyscan verification config for a deployed contract or deployment.

lidofinance/diffyscan

Analyzes storage layout, proxy patterns, and state variable security in Solidity contracts.

alt-research2/SolidityGuard

Worked bug bounty case study of a yield aggregator: target scoring, fund-flow mapping, prior audit triage and a verdict per bug class, with role misconfiguration in focus.

tradecatlabs/vibe-coding-cn

Records a Web3 bug bounty hunt on ZKsync Era that ended with no findings, using it to show what a hardened protocol looks like and when to drop a target.

tradecatlabs/vibe-coding-cn

Security audit and code review for Solidity smart contracts.

sablier-labs/evm-monorepo

Reviews an existing Diffyscan YAML or JSON config for load errors, runtime prerequisites, pinned sources, address mappings and broad exceptions.

lidofinance/diffyscan

Prepare Solidity projects for a security audit — test coverage, test quality, NatSpec docs, code hygiene, dependency health, best-practice enforcement, deployment readiness, and project…

PlamenTSV/plamen

Detects input validation failures and arithmetic vulnerabilities in smart contracts.

quillai-network/quillshield_skills

Ethereum development knowledge for AI agents — from idea to deployed dApp.

austintgriffith/ethskills

Master skill for running an end-to-end multi-pass Foundry testing campaign for Solidity projects.

aviggiano/security

Solidity smart contract development on VeChainThor — Hardhat setup, ERC-20/721 patterns, upgradeable contracts, gas optimization, testing with Thor Solo, security auditing, and ABI codegen.

vechain/x-app-template

Diagnoses failed or incomplete Diffyscan runs, unexpected source or bytecode differences, compilation failures and explorer or RPC errors.

lidofinance/diffyscan

Build metric-driven Chimera/create-chimera-app stateful invariant testing campaigns for Solidity projects.

aviggiano/security

Access control design patterns for Solidity protocols. An agent skill from ccashwell/evm-cortex.

ccashwell/evm-cortex

Build with the ChainGPT Web3 AI developer platform. An agent skill from internet-court/internet-court-skill.

internet-court/internet-court-skill

Analyzes Solidity contract entry points to map attack surface.

alt-research2/SolidityGuard

Create Foundry differential tests comparing production Solidity contracts against an independent reference model.

aviggiano/security