skills/pumpfun-launcher/SKILL.md
Launch new tokens on Pump.fun directly via the Pump SDK
npx skillsauth add x402agent/solana-clawd skills/pumpfun-launcherInstall 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.
Launch new tokens on the Pump.fun protocol using the native Pump SDK integrated into SolanaOS.
solanaos birth)HELIUS_RPC_URL or SOLANA_RPC_URL set in vaultThe Pump SDK provides offline instruction builders for token creation. This skill uses the PumpSdk.createV2Instruction() method to build a token creation transaction.
createV2 instruction via PUMP_SDK.createV2Instruction()createV2AndBuy to purchase initial supplyimport { Keypair, Connection } from "@solana/web3.js";
import { PUMP_SDK, OnlinePumpSdk, getBuyTokenAmountFromSolAmount } from "@nirholas/pump-sdk";
const connection = new Connection(process.env.HELIUS_RPC_URL!);
const mintKeypair = Keypair.generate();
const creator = wallet.publicKey;
// Create token
const createIx = await PUMP_SDK.createV2Instruction({
mint: mintKeypair.publicKey,
name: "My Token",
symbol: "MYTKN",
uri: "https://arweave.net/metadata.json",
creator,
user: creator,
mayhemMode: false,
});
// Or create + buy in one transaction
const sdk = new OnlinePumpSdk(connection);
const global = await sdk.fetchGlobal();
const ixs = await PUMP_SDK.createV2AndBuyInstructions({
global,
mint: mintKeypair.publicKey,
name: "My Token",
symbol: "MYTKN",
uri: "https://arweave.net/metadata.json",
creator,
user: creator,
amount: new BN(1_000_000_000), // tokens to buy
solAmount: new BN(100_000_000), // 0.1 SOL
mayhemMode: false,
});
Set mayhemMode: true for tokens with randomized bonding curve parameters. This creates unpredictable pricing dynamics.
| Program | Address |
|---------|---------|
| Pump | 6EF8rrecthR5Dkzon8Nwu78hRvfCKubJ14M5uBEwF6P |
| PumpAMM | pAMMBay6oceH9fJKBRHGP5D4bD4sWpmSwMn52FMfXEA |
| PumpFees | pfeeUxB6jkeY1Hxd7CsFCAjcbHA9rWtchMGdZ6VojVZ |
development
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