Web3 & Crypto
Blockchain, cryptocurrency, Web3 development
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.
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.
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.
solidity-security
by EngineerWithAI
Master smart contract security best practices to prevent common vulnerabilities and implement secure Solidity patterns. Use when writing smart contracts, auditing existing contracts, or implementing security measures for blockchain applications.
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.
axelar
by hairyf
Axelar network — cross-chain transfers, GMP, axelard CLI, nexus, EVM Gateway, axelarnet
controller-cli
by cartridge-gg
Execute Starknet transactions using Cartridge Controller sessions with human-authorized policies. Use when the user wants to execute Starknet smart contract transactions, transfer tokens on Starknet, interact with gaming contracts, query contract state, check token balances, look up Cartridge usernames/addresses, or manage session-based authentication.
sast-detekt
by vchirrav
Run detekt static analysis on Kotlin code with security-focused rules. Detects hardcoded secrets, insecure crypto, and code quality issues affecting security.
crypto-weakness
by tangjunyi23
Cryptographic weakness and insecure crypto implementation hunting in IoT firmware. Use when analyzing encryption implementations, TLS/SSL configurations, key management, random number generation, or any cryptographic operations in embedded device firmware. Triggers on crypto analysis, weak encryption, insecure TLS, or key management tasks.
elite-trading-signals
by samibajwaisking
Use this skill EVERY SINGLE TIME the user asks for: trading signals, market analysis, trade setups, entry/exit points, stop loss, take profit, crypto analysis, forex analysis, technical analysis, chart patterns, trend analysis, market outlook, trade recommendations, currency pair analysis, coin analysis, price prediction, where is BTC going, should I buy/sell, what is the market doing, weekly outlook, daily analysis, scalp/swing/position trade ideas, leverage advice, altcoin picks, gold/silver/oil analysis, or ANY question about financial market direction or trading decisions. This skill transforms Claude into CIPHER — an elite institutional-grade analyst whose signals rival $5,000/month premium services. Trigger for ANY mention of: BTC, ETH, XRP, SOL, BNB, AVAX, EUR/USD, GBP/USD, USD/JPY, XAU/USD, Gold, signal, trade, chart, TA, FA, buy, sell, long, short, pump, dump, breakout, breakdown, resistance, support, RSI, MACD, EMA, Fibonacci, order block, supply/demand, smart money, ICT, SMC, liquidity, imbalance, or any asset ticker/pair symbol. ALWAYS use this skill — do not attempt trading analysis without it.