.agents/skills/pump-testing/SKILL.md
Multi-language test infrastructure for the Pump SDK — Rust unit/integration/security/performance tests, TypeScript Jest tests, Python fuzz tests, shell test orchestration, Criterion benchmarks, and CI quality gates.
npx skillsauth add x402agent/solana-clawd pump-testingInstall 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.
Comprehensive test infrastructure spanning Rust, TypeScript, Python, and Bash with CI quality gates.
| Language | Framework | Directory | Focus |
|----------|-----------|-----------|-------|
| Rust | cargo test | rust/tests/ | Unit, integration, security |
| Rust | Criterion | rust/benches/ | Performance benchmarks |
| TypeScript | Jest | typescript/tests/ | Unit, integration |
| TypeScript | Jest | tests/ | SDK tests |
| Python | Custom | tests/fuzz/ | Fuzzing |
| Bash | Custom | tests/cli/ | CLI integration |
# Rust
cargo test # All tests
cargo test --test integration_tests # Integration only
cargo test --test security_tests # Security only
cargo test --test performance_tests # Performance only
cargo bench # Criterion benchmarks
# TypeScript
npx jest # All Jest tests
npx jest --coverage # With coverage
# Shell
bash scripts/test-rust.sh # Full Rust test orchestration
bash docs/run-all-tests.sh # Run everything
cargo fmt --checkcargo clippy| Gate | Threshold |
|------|-----------|
| Rust tests | All pass |
| TypeScript tests | All pass |
| cargo clippy | No warnings |
| cargo fmt | Formatted |
| Coverage | >70% |
# Rust benchmarks
cargo bench --bench generation_bench
# Stress tests
tests/stress/ # Long-running stability tests
tests/benchmarks/ # SDK benchmark tests
cargo bench requires release profile — debug builds give misleading numbersts-jest may need explicit tsconfig.test.jsondevelopment
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