.agents/skills/pump-solana-wallet/SKILL.md
Secure 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).
npx skillsauth add x402agent/solana-clawd pump-solana-walletInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
Secure Solana wallet generation using official Solana Labs libraries with Ed25519 keys, memory zeroization, and offline-only operation. Three implementations: Rust (production), TypeScript (educational), and Bash (wrappers).
| Context | Library | Role |
|---------|---------|------|
| Rust | solana-sdk | Keypair::new(), Signer trait, Base58 encoding |
| TypeScript | @solana/web3.js | Keypair.generate(), Keypair.fromSecretKey() |
| Shell | solana-keygen | grind (vanity), new (random), verify |
| MCP Server | @solana/web3.js | Session keypair management in SolanaWalletMCPServer |
123456789ABCDEFGHJKLMNPQRSTUVWXYZabcdefghijkmnopqrstuvwxyz| Prefix Length | Expected Attempts | Time (100K/sec) | |---------------|-------------------|-----------------| | 1 char | ~58 | < 1 sec | | 2 chars | ~3,364 | < 1 sec | | 3 chars | ~195,112 | ~2 sec | | 4 chars | ~11.3M | ~2 min | | 5 chars | ~656M | ~2 hours |
OsRng (Rust), crypto.getRandomValues (Node.js)Zeroize trait (Rust), buffer.fill(0) (TypeScript)0o600 owner-only| Language | Mechanism |
|----------|-----------|
| Rust | Zeroize trait + Drop impl, zeroize_on_drop |
| TypeScript | secretKey.fill(0) + Buffer.alloc(0) (best-effort, GC may relocate) |
| Shell | shred -u or rm -P for file cleanup |
solana-sdk, @solana/web3.js, or solana-keygen for crypto operations0o600 immediately after writing keypair filesfill(0) is best-effort, not guaranteedsolana-keygen output is [u8; 64] JSON array (32-byte secret + 32-byte public)0OIldevelopment
Formally 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 their implementation.
data-ai
Orchestrate multi-bot trading swarms on Pump.fun with persona-driven agents
tools
End-to-end Solana development playbook (Jan 2026). Prefer Solana Foundation framework-kit (@solana/client + @solana/react-hooks) for React/Next.js UI. Prefer @solana/kit for all new client/RPC/transaction code. When legacy dependencies require web3.js, isolate it behind @solana/web3-compat (or @solana/web3.js as a true legacy fallback). Covers wallet-standard-first connection (incl. ConnectorKit), Anchor/Pinocchio programs, Codama-based client generation, LiteSVM/Mollusk/Surfpool testing, and security checklists.
tools
Buy and sell tokens on Pump.fun bonding curves and AMM pools