hairyf
@hairyf
Public Skills
echidna
by hairyf
Property-based fuzzing and assertion testing for Ethereum smart contracts with Echidna.
aderyn
by hairyf
Aderyn — Rust-based Solidity static analyzer; CLI, config, detectors, report formats, and MCP tools for agents.
slither
by hairyf
Solidity & Vyper static analysis—detectors, printers, Python API, SlithIR, and tools for security and code comprehension.
cairo
by hairyf
Cairo language and compiler—Rust-like syntax, Sierra/CASM pipeline, Starknet contracts, linear types, and tooling.
eigenlayer
by hairyf
EigenLayer restaking protocol—strategies, delegation, EigenPods, AVSs, operator sets, slashing, rewards, and multichain.
cosmos
by hairyf
Cosmos SDK module development—modules, keepers, Msg/Query services, genesis, app wiring, upgrades, and structure.
arbitrum
by hairyf
Arbitrum Nitro L2 stack—architecture, ADRs, gas model, BOLD dispute protocol, and repo conventions.
hyperlane
by hairyf
Interchain messaging with Hyperlane – Mailbox, ISMs, hooks, Warp routes, SDK, CLI, and relayer.
axelar
by hairyf
Axelar network — cross-chain transfers, GMP, axelard CLI, nexus, EVM Gateway, axelarnet
aave-v3-core
by hairyf
Aave Protocol V3 core contracts—Pool (supply, borrow, liquidate, flash loans), data types, addresses provider, eMode and isolation.
bitcoin
by hairyf
Bitcoin Core — full node, JSON-RPC, REST, descriptors, PSBT, wallets, and external signers.
thegraph
by hairyf
The Graph — subgraph manifest, schema, mappings, GraphQL API, templates, Substreams, and performance practices for agent-driven indexing.
envio
by hairyf
Envio blockchain data stack — HyperSync, HyperIndex, HyperRPC; fast indexing and data APIs.
ethers
by hairyf
Ethers.js v6 — Provider/Signer/Contract, units, ABI, contract calls and events, signing, v5→v6 migration.
alchemy
by hairyf
Alchemy SDK for JavaScript — client, core RPC and Enhanced APIs, NFT, WebSockets, Transact, Portfolio, Notify, Debug.
moralis
by hairyf
Moralis — Web3 Data API, Streams, Auth API, and Cortex (AI/MCP) for EVM and Solana.
foundry
by hairyf
Foundry — Forge, Cast, Anvil, Chisel; EVM tooling, cheatcodes, scripting, lint, debugging.
anchor
by hairyf
Anchor framework for Solana programs — program structure, PDAs, CPI, IDL, errors, events, zero-copy, constraints, account types, and CLI for agent-driven tooling.
openzeppelin-contracts
by hairyf
Secure smart contract library—access control, tokens (ERC20/721/1155/4626/6909), upgradeable contracts, and utilities.
subsquid
by hairyf
Subsquid (Squid SDK) — batch-based blockchain indexers, EVM/Substrate processors, typegen, GraphQL API.
hardhat
by hairyf
Hardhat — Ethereum development environment (Runner, Network, Ignition, config, tasks, plugins, testing, deployment).
getblock
by hairyf
GetBlock — RPC node and API access for 100+ blockchains; authentication, endpoints, CU pricing, Ethers/JSON-RPC, Yellowstone gRPC, MCP integration.
solidity
by hairyf
Solidity language and compiler — source layout, types, contracts, control flow, security, compiler, ABI, internals.
geth
by hairyf
Go Ethereum (geth) — CLI, JSON-RPC, Clef, abigen, and developer workflows.