.agents/skills/pump-security/SKILL.md
Defense-in-depth security across Rust, TypeScript, and Bash for the Pump SDK — cryptographic key handling, memory zeroization, secure file I/O, input validation, privilege management, dependency auditing, and a 60+ item security checklist.
npx skillsauth add x402agent/solana-clawd pump-securityInstall 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.
Defense-in-depth security across Rust, TypeScript, and Bash: key handling, memory zeroization, secure file I/O, input validation, privilege management, and dependency auditing.
use zeroize::Zeroize;
struct SecureBytes(Vec<u8>);
impl Drop for SecureBytes {
fn drop(&mut self) {
self.0.zeroize();
}
}
try {
// ... use secretKey
} finally {
secretKey.fill(0);
// Best-effort: GC may have copied the buffer
}
shred -u "$keypair_file" 2>/dev/null || rm -P "$keypair_file"
| Language | Source | Verification |
|----------|--------|-------------|
| Rust | OsRng | Verify via solana-sdk internals |
| TypeScript | crypto.getRandomValues | Node.js built-in CSPRNG |
| Shell | solana-keygen | Delegates to Rust OsRng |
0o600 before writing content (race-free on Unix)O_CREAT | O_EXCL to prevent overwrites| Input | Validation |
|-------|-----------|
| Base58 address | Regex: ^[1-9A-HJ-NP-Za-km-z]{32,44}$ |
| File paths | Reject .., prevent traversal |
| Tool inputs | Zod schemas in MCP server |
| Shell arguments | Quoted variables, no eval |
Key categories:
cargo audit, npm audit)| Vector | Defense | |--------|---------| | Weak RNG | Only CSPRNG (OsRng / crypto.getRandomValues) | | Memory dump | Zeroize on drop/finally | | File permission leak | 0o600 enforcement | | Path traversal | Input validation | | Shell injection | Quoted variables, no eval | | Dependency supply chain | cargo audit, npm audit |
solana-sdk, @solana/web3.js, solana-keygenfill(0) is best-effort — GC may relocate buffersString types may leave copies in memory — use Vec<u8> with Zeroizechmod after write has a race window — prefer fchmod or umaskcargo audit may miss recently disclosed CVEs — supplement with manual reviewdevelopment
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