Echidna property-based fuzzer for Solidity — property mode, assertion mode, optimization mode, invariant writing, corpus management, config tuning, and Foundry integration. Catch bugs that static analysis misses with stateful fuzzing.
Plugin echidna from marketplace cryptoskills in andresdefi/cryptoskills. Commands read from the repo's manifest — 1 month ago.
echidnaEchidna property-based fuzzer for Solidity — property mode, assertion mode, optimization mode, invariant writing, corpus management, config tuning, and Foundry integration. Catch bugs that static analysis misses with stateful fuzzing.
Aave V3 lending protocol integration — supply, borrow, repay, withdraw, flash loans, E-Mode, and health factor monitoring. Covers IPool interface in Solidity and viem-based TypeScript for reading protocol state, executing transactions, and managing positions across Ethereum, Arbitrum, Optimism, Base, and Polygon.
1 skill
ERC-4337 and EIP-7702 unified reference — EntryPoint v0.7 architecture, UserOperation lifecycle, bundler and paymaster roles, EIP-7702 EOA delegation (Type 0x04 transactions), combined ERC-4337 + EIP-7702 flows, paymaster patterns (verifying, ERC-20, sponsoring), permissionless.js SDK, ZeroDev Kernel, session keys (ERC-7579), gas abstraction, and stack selection guidance.
1 skill
Aptos Move-based L1 development — Move modules with global storage, resource accounts, Aptos SDK (@aptos-labs/ts-sdk), Coin standard, Token V2 (Digital Assets), view functions, multi-agent transactions, gas estimation, and Block-STM parallel execution.
1 skill
Arbitrum Nitro L2 development — deployment, cross-chain messaging (Retryable Tickets), Orbit chains, ArbOS precompiles, bridging, and gas model differences from Ethereum.
1 skill
Arbitrum Stylus development — write smart contracts in Rust, C, and C++ compiled to WASM. Covers Stylus SDK, storage patterns, ABI export, deployment, testing, and Solidity interop.
1 skill
Axelar cross-chain messaging and token routing — General Message Passing (GMP), Interchain Token Service (ITS) for native multichain tokens, AxelarExecutable contract pattern, gas estimation, and cross-chain token deployment. Covers Axelar SDK, Gateway contract, and GasService integration.
1 skill
Harness-native ECC operator layer - 71 agents, 314 skills, 98 legacy command shims, reusable hooks, rules, selective install profiles, and production-ready workflows for Claude Code, Codex, OpenCode, Cursor, and related agent harnesses
200 skills · 98 commands · 71 agents · 1 MCP server · hooks
Security review for Claude-generated code. Pattern-based warnings on edits, LLM-powered diff review on Stop, and an agentic commit reviewer that catches injection, XSS, SSRF, hardcoded secrets, and 25+ other vulnerability classes.
hooks
Cross-installation agent federation with zero-trust security, PII-gated data flow, and compliance-grade audit trails
3 skills · 1 command · 1 agent
Install the "AAS Security Engineer" workflow plugin from Agentic Awesome Skills.
12 skills
Duende development skills and agents for Claude Code — covering OAuth/OIDC protocols, IdentityServer, token management, ASP.NET Core authentication/authorization, BFF patterns, and secure identity architecture
24 skills · 2 agents
SAST analysis, dependency vulnerability scanning, OWASP Top 10 compliance, container security scanning, and automated security hardening
5 skills · 3 commands · 2 agents
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.