Backend & APIs · Solidity

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

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

wshobson/agents

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

RaoFoundation/subtensor

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

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

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

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

trailofbits/skills

Security checklist for Solidity AMM contracts, liquidity pools, and swap flows.

affaan-m/ECC

Generates Foundry invariant tests and Echidna property-based fuzz tests for Solidity contracts.

alt-research2/SolidityGuard

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

trailofbits/skills

Deep reentrancy vulnerability analysis for Solidity contracts.

alt-research2/SolidityGuard

Build a simple independent Solidity reference implementation for Foundry tests.

aviggiano/security

Generate typed C contract services, DTOs, Unity requests, MUD tables, and Blazor pages from Solidity ABI using Nethereum code generation.

Nethereum/Nethereum

Handle smart contract reverts and decode custom error types using Nethereum (.NET).

Nethereum/Nethereum

Interact with Ethereum smart contracts using Nethereum typed DTOs.

Nethereum/Nethereum

Audit a Solidity reference implementation against a protocol whitepaper or public specification.

aviggiano/security

Comprehensive Solidity contract security scanner detecting 104 vulnerability patterns across reentrancy, access control, arithmetic, DeFi, proxy, and token categories.

alt-research2/SolidityGuard

Solidity AMM 合约、流动性池和交换流程的安全检查清单。涵盖重入、CEI 排序、捐赠或通胀攻击、预言机操纵、滑点、管理员控制和整数数学。

affaan-m/ECC