All categories
Blockchain & Web3
Crypto, wallets, smart contracts, Web3, DeFi, NFTs, and decentralized apps
- 1,483
- 62
Security grades appear on each card once the skill has been scanned. Newly imported skills may briefly show without a grade until the backfill job runs.
Open in full browserBrowse blockchain & web3 skills
Showing 217–240 of 1,483 skills
- Solana Formal VerificationFormally verify programs by writing Lean 4 proofs. Trigger this skill whenever the user wants to formally verify code, generate Lean 4 proofs, prove properties about algorithms or smart contracts, verify invariants, convert program logic into formal specifications, or anything involving Lean 4 and formal verification. Also trigger when the user mentions "qedgen", "lean proof", "formal proof", "verify my code", "prove correctness", "formal verification", or wants mathematical guarantees about ...Votes: 0GitHub stars: 9
- SlackUse when you need to control Slack from SolanaOS via the slack tool, including reacting to messages or pinning/unpinning items in Slack channels or DMs.Votes: 0GitHub stars: 9
- Sherpa Onnx TtsLocal text-to-speech via sherpa-onnx (offline, no cloud)Votes: 0GitHub stars: 9
- Session LogsSearch and analyze your own session logs (older/parent conversations) using jq.Votes: 0GitHub stars: 9
- Seeker Daemon OpsUse when the user wants to run, monitor, or debug the SolanaOS Seeker daemon and Telegram command flowVotes: 0GitHub stars: 9
- SagElevenLabs text-to-speech with mac-style say UX.Votes: 0GitHub stars: 9
- QedgenFormally verify programs by writing Lean 4 proofs. Trigger this skill whenever the user wants to formally verify code, generate Lean 4 proofs, prove properties about algorithms or smart contracts, verify invariants, convert program logic into formal specifications, or anything involving Lean 4 and formal verification. Also trigger when the user mentions "qedgen", "lean proof", "formal proof", "verify my code", "prove correctness", "formal verification", or wants mathematical guarantees about ...Votes: 0GitHub stars: 9
- Pumpfun TradingBuy and sell tokens on Pump.fun bonding curves and AMM poolsVotes: 0GitHub stars: 9
- Pumpfun LauncherLaunch new tokens on Pump.fun directly via the Pump SDKVotes: 0GitHub stars: 9
- Pumpfun FeesConfigure and claim creator fee sharing on Pump.fun tokensVotes: 0GitHub stars: 9
- Pumpfun AnalyticsMonitor bonding curves, graduation progress, and trade analytics on Pump.funVotes: 0GitHub stars: 9
- Pump WebsitePumpOS — static HTML/CSS/JS web desktop for the Pump SDK with 169 Pump-Store apps, live token dashboards, interactive DeFi tools, PWA support, and Vercel deployment.Votes: 0GitHub stars: 9
- Pump Ts VanityEducational single-threaded TypeScript vanity address generator for Solana using @solana/web3.js with async iteration, event-loop yielding, streaming generator API, and best-effort memory zeroization.Votes: 0GitHub stars: 9
- Pump Token LifecycleFull token lifecycle from creation through bonding curve trading, graduation detection, AMM migration, fee collection, and volume tracking on Solana using PumpSdk and OnlinePumpSdk.Votes: 0GitHub stars: 9
- Pump Token IncentivesVolume-based PUMP token reward system with day-indexed epochs, pro-rata distribution, accumulator tracking, and cross-program claiming on Solana.Votes: 0GitHub stars: 9
- Pump Solana WalletSecure Solana wallet generation using official Solana Labs libraries — Ed25519 keypairs, memory zeroization, vanity address generation, offline-only operation, and multi-language implementations (Rust, TypeScript, Bash).Votes: 0GitHub stars: 9
- Pump Solana DevSolana development patterns used in the Pump SDK — Anchor IDL-based program interaction, SPL Token and Token-2022 management, transaction construction with instruction composition, RPC batching, and cross-program coordination.Votes: 0GitHub stars: 9
- Pump Solana ArchitectureDesign and derive Program Derived Addresses (PDAs) and account layouts across the Pump ecosystem's four Solana programs — global singletons, per-token accounts, per-user accumulators, and cross-program coordination patterns.Votes: 0GitHub stars: 9
- Pump Shell ScriptsProduction-quality Bash scripts for Solana vanity generation, keypair verification, batch operations, dependency auditing, and test orchestration — with security-hardened patterns including file permissions, input validation, and cleanup traps.Votes: 0GitHub stars: 9
- Pump SecurityDefense-in-depth security across Rust, TypeScript, and Bash for the Pump SDK — cryptographic key handling, memory zeroization, secure file I/O, input validation, privilege management, dependency auditing, and a 60+ item security checklist.Votes: 0GitHub stars: 9
- Pump Sdk CoreBuild and extend the core Pump SDK — an offline-first TypeScript SDK that constructs Solana TransactionInstructions for token creation, buying, selling, migration, and creator fee collection across three on-chain programs (Pump, PumpAMM, PumpFees).Votes: 0GitHub stars: 9
- Pump Rust VanityProduction-grade multi-threaded Rust vanity address generator for Solana — 100K+ keys/sec using Rayon parallel iterators with solana-sdk, Base58 pattern matching, prefix/suffix support, security-hardened file output, and Criterion benchmarks.Votes: 0GitHub stars: 9
- Pump Mcp ServerModel Context Protocol server exposing 53 tools, 3 resource types, and 3 prompts for AI agent consumption — quoting, building transactions, fee management, analytics, AMM operations, social fees, wallet operations over stdio transport.Votes: 0GitHub stars: 9
- Pump Fee SystemComplete Pump protocol fee system — tiered protocol fees based on market cap, creator fee collection across two programs, basis point arithmetic, and ceiling division for dust-safe calculations.Votes: 0GitHub stars: 9