.agents/skills/pump-build-release/SKILL.md
Build and release pipeline for the Pump SDK — tsup TypeScript builds, Cargo release profiles, semantic release with commitizen, npm publishing, linting, Makefile targets, Vercel deployment, and MCP server distribution.
npx skillsauth add x402agent/solana-clawd pump-build-releaseInstall 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.
Build and release the Pump SDK ecosystem: tsup TypeScript builds, Cargo release profiles, semantic release, npm publishing, and deployment.
npx tsup src/index.ts --format cjs,esm --dts
Output: dist/index.cjs, dist/index.mjs, dist/index.d.ts
[profile.release]
opt-level = 3
lto = true
codegen-units = 1
strip = true
Commit format: type(scope): description
| Type | Effect |
|------|--------|
| feat: | Minor version bump |
| fix: | Patch version bump |
| feat!: or BREAKING CHANGE: | Major version bump |
| chore:, docs:, style: | No release |
| Target | Description |
|--------|-------------|
| make build | Build SDK + Rust binary |
| make test | Run all tests |
| make bench | Run benchmarks |
| make lint | Run all linters |
| make clean | Clean build artifacts |
| make release | Build release binary |
| Tool | Language | Config |
|------|----------|--------|
| ESLint/tsup | TypeScript | tsconfig.json |
| cargo clippy | Rust | Default warnings |
| cargo fmt | Rust | rustfmt.toml |
| ShellCheck | Bash | Default rules |
npm publish --access public
# Package: @nirholas/pump-sdk
# website/ directory — static HTML/CSS/JS
vercel --prod
npm publish --access public
# Package: @pump-fun/mcp-server
# Usage: npx -y @pump-fun/mcp-server
cargo clippy and cargo fmt before every Rust committsup may not pick up all type exports — verify .d.ts outputcargo build --release takes significantly longer than debug buildsprepublishOnly scripts should run tests and lintdevelopment
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