.agents/skills/pump-bonding-curve/SKILL.md
Constant-product AMM bonding curve math for Pump token pricing — buy/sell quoting, fee-aware calculations, market cap computation, tiered fees, ceiling division, virtual vs real reserves, and edge-case handling.
npx skillsauth add x402agent/solana-clawd pump-bonding-curveInstall 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.
Implement and maintain the constant-product AMM bonding curve math that powers Pump token pricing — including buy/sell quoting, fee-aware calculations, market cap computation, reserve management, and edge-case handling for new, active, and migrated curves.
Pump tokens are priced using a constant-product bonding curve ($x \times y = k$) where $x$ = virtual SOL reserves and $y$ = virtual token reserves. The bonding curve determines token prices during the pre-graduation phase. Once market cap reaches a threshold, the token "graduates" and migrates to a PumpAMM pool.
src/bondingCurve.ts — all bonding curve math functions (buy/sell quoting, market cap)src/fees.ts — fee computation (basis points, tiered fees, ceiling division)src/state.ts — BondingCurve, Global, FeeConfig, FeeTier interfaces$$x \times y = k$$
Buy (tokens out for SOL in): $$\text{tokensOut} = \frac{dx \times Y}{X + dx}$$
Where $dx$ = SOL input (after fees), $X$ = virtual SOL reserves, $Y$ = virtual token reserves.
Sell (SOL out for tokens in): $$\text{solOut} = \frac{dy \times X}{Y + dy}$$
Where $dy$ = tokens sold, $X$ = virtual SOL reserves, $Y$ = virtual token reserves.
Fees are deducted from the SOL amount before applying the bonding curve formula:
inputAmount = (amount - 1) * 10000 / (totalFeeBps + 10000)
The - 1 before fee stripping is intentional to handle rounding edge cases.
$$\text{marketCap} = \frac{\text{virtualSolReserves} \times \text{mintSupply}}{\text{virtualTokenReserves}}$$
Where mintSupply defaults to ONE_BILLION_SUPPLY ($1 \times 10^{15}$ — 1B tokens with 6 decimals).
When a FeeConfig exists, fees are market-cap-dependent. Fee tiers are iterated in reverse order — the first tier from the end whose marketCapLamportsThreshold ≤ currentMarketCap is selected.
interface FeeTier {
marketCapLamportsThreshold: BN;
fees: { lpFeeBps: BN; protocolFeeBps: BN; creatorFeeBps: BN };
}
$$\text{ceilDiv}(a, b) = \frac{a + b - 1}{b}$$
function ceilDiv(a: BN, b: BN): BN {
return a.add(b).sub(new BN(1)).div(b);
}
| Reserve Type | Includes | Used For |
|-------------|----------|----------|
| virtualSolReserves | Real SOL + protocol-added virtual offset | AMM formula calculation |
| virtualTokenReserves | Real tokens + virtual offset | AMM formula calculation |
| realTokenReserves | Actual tokens available | Buy output cap |
| realSolReserves | Actual SOL deposited | Withdrawal limit |
| Case | Behavior |
|------|----------|
| Zero amount | Returns BN(0) |
| Migrated curve (complete === true, zero reserves) | Returns BN(0) |
| Null bonding curve | Creates a fresh curve via newBondingCurve(global) |
| Tokens exceed real reserves | Caps at realTokenReserves |
| Creator fee | Only charged if bondingCurve.creator != PublicKey.default or it's a new curve |
interface BondingCurve {
virtualTokenReserves: BN;
virtualSolReserves: BN;
realTokenReserves: BN;
realSolReserves: BN;
tokenTotalSupply: BN;
complete: boolean; // true = graduated to AMM
creator: PublicKey;
isMayhemMode: boolean;
}
BN (bn.js) for arbitrary-precision integer arithmetic — never use JavaScript numberceilDiv) for fee computation to ensure the protocol never loses dustbondingCurve.complete before building trade instructionscomplete === true) will fail on-chainmintSupply not tokenTotalSupplygetBuySolAmountFromTokenAmountQuote adds + 1 to the result to ensure sufficient SOLdevelopment
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