Web3 & Crypto
Blockchain, cryptocurrency, Web3 development
stacks
by hairyf
Stacks blockchain node and mining — RPC API, testnet transactions, PoX mining, event observer, SIPs, property testing, release process, profiling, and service setup.
celestia
by hairyf
Celestia data availability node—bridge/full/light types, headers, shares, DAS, state API, P2P discovery, and fraud proofs.
foundry-implement
by foundry-works
Task implementation skill for spec-driven workflows. Reads specifications, identifies next actionable tasks, and creates detailed execution plans. Use when ready to implement a task from an existing spec - bridges the gap between planning and coding.
subsquid
by hairyf
Subsquid (Squid SDK) — batch-based blockchain indexers, EVM/Substrate processors, typegen, GraphQL API.
halmos
by hairyf
Symbolic testing for EVM smart contracts with Halmos (Foundry-style tests, SMT solvers).
circom
by hairyf
Agent-oriented reference for the circom language and compiler—circuits, constraints, signals, templates, compilation, and safety.
avail
by hairyf
Avail Node—run chains, Kate RPC for data availability, block authoring, and runtime APIs for DA tooling.
ordinals
by hairyf
ord index, block explorer, wallet, inscriptions, and runes for Bitcoin Ordinals.
hardhat
by hairyf
Hardhat — Ethereum development environment (Runner, Network, Ignition, config, tasks, plugins, testing, deployment).
filecoin
by hairyf
Lotus (Filecoin) node — chain, state, mpool, API, mining, events, and operations.
echidna
by hairyf
Property-based fuzzing and assertion testing for Ethereum smart contracts with Echidna.
arbitrum-skills
by utkucy
Provides Arbitrum L2 blockchain development documentation including Stylus WASM smart contracts (Rust), token bridging (ETH, ERC-20, USDC), Orbit chain deployment, node operations (full node, validator, sequencer), gas estimation, cross-chain messaging, BoLD protocol, Timeboost, ArbOS upgrades, and OpenZeppelin/Nitro contract references. Use when the user mentions Arbitrum, Stylus, Orbit, Nitro, ArbOS, or L2 scaling.
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.
getblock
by hairyf
GetBlock — RPC node and API access for 100+ blockchains; authentication, endpoints, CU pricing, Ethers/JSON-RPC, Yellowstone gRPC, MCP integration.
bitcoin-js
by hairyf
JavaScript/TypeScript Bitcoin library — payments, addresses, PSBT, transactions, script.
cairo
by hairyf
Cairo language and compiler—Rust-like syntax, Sierra/CASM pipeline, Starknet contracts, linear types, and tooling.
ton-http
by hairyf
TON HTTP API (TON Center / ton-http-api) — accounts, transactions, messages, send, runGetMethod; use Swagger for request/response parameters and return values.
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.
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.